usr
/
share
/
doc
/
git-1.8.3.1
/
technical
➕ New
📤 Upload
✎ Editing:
api-index.sh
← Back
#!/bin/sh ( c=//////////////////////////////////////////////////////////////// skel=api-index-skel.txt sed -e '/^\/\/ table of contents begin/q' "$skel" echo "$c" ls api-*.txt | while read filename do case "$filename" in api-index-skel.txt | api-index.txt) continue ;; esac title=$(sed -e 1q "$filename") html=${filename%.txt}.html echo "* link:$html[$title]" done echo "$c" sed -n -e '/^\/\/ table of contents end/,$p' "$skel" ) >api-index.txt+ if test -f api-index.txt && cmp api-index.txt api-index.txt+ >/dev/null then rm -f api-index.txt+ else mv api-index.txt+ api-index.txt fi
💾 Save Changes
Cancel
📤 Upload File
×
Select File
Upload
Cancel
➕ Create New
×
Type
📄 File
📁 Folder
Name
Create
Cancel
✎ Rename Item
×
Current Name
New Name
Rename
Cancel
🔐 Change Permissions
×
Target File
Permission (e.g., 0755, 0644)
0755
0644
0777
Apply
Cancel