]> git.phdru.name Git - bookmarks_db.git/blob - update
projects / bookmarks_db.git / blob
? search:


2ce5b5b2ff90918f6f230f9b29da7241ee2045ff
[bookmarks_db.git] / update
1 #! /bin/sh
2
3 "$HOME"/admin/prog/git-scripts/update || exit 1
4
5 current="`git config --get --path remote.current.url`"
6 cd "$current" && exec compyleall
Bookmarks database and Internet robot.