/stdhome

To get this branch, use:
bzr branch http://bzr.ed.am/stdhome

« back to all changes in this revision

Viewing changes to tools/dev

  • Committer: Tim Marston
  • Date: 2016-04-10 20:49:49 UTC
  • Revision ID: tim@ed.am-20160410204949-i4qiz9nin12ymuo5
added -vvv logging of walker execution

Show diffs side-by-side

added added

removed removed

Lines of Context:
tools/dev
62
62
        fi
63
63
        sed -ie 's/^#\(home-dir\)/\1/' ~/.stdhomerc
64
64
        mkdir -p ~/tmp/stdhome-dev
65
 
        DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )"/.. && pwd )"
66
 
        ln -s "$DIR"/src/stdhome ~/bin/stdhome
67
65
 
68
66
elif [ "$TARGET" == "off" ]; then
69
67
 
84
82
        mv ~/.stdhome{,.dev}
85
83
        mv ~/.stdhome{.orig,}
86
84
        sed -ie 's/^home-dir/#\0/' ~/.stdhomerc
87
 
        rm -f ~/bin/stdhome
88
85
 
89
86
else
90
87
        echo currently $CURRENT