diff options
Diffstat (limited to 'init.sh')
-rw-r--r-- | init.sh | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/init.sh b/init.sh deleted file mode 100644 index b772015..0000000 --- a/init.sh +++ /dev/null @@ -1,39 +0,0 @@ -## -# init_wktree <unused> <unused> [<remote>] <path> -# -# Assert that the repository at <path> exists, then setup the -# .systr directory at the CWD. -## -function init_wktree -{ - if [ $# -gt 3 ]; then - remote=$3 - shift - else - remote="" - fi - - path=$3 - - # local repository # - if [[ "$remote" == "" ]]; then - if [ ! -f "$path/HEAD" ]; then - echo "Error: $path is not a repository" - exit 1 - fi - - mkdir -p .systr/ - - echo "" >.systr/remote - echo "$path" >.systr/path - echo "NULL" >.systr/BASE - echo "NULL" >.systr/TRAC - - echo "Setup worktree at $(pwd)" - - # remote repository # - else - exit 1 - - fi -} |