3 # makes a new home directory; defaults to one that does not use ssh
4 GIT_BASE=http://git.donarmstrong.com/
6 if [ "$1" = "ssh" ]; then
7 GIT_BASE=git+ssh://git.donarmstrong.com/srv/git/
12 for pkg in mr vcsh; do
13 if ! which $pkg >/dev/null 2>&1; then
14 echo "Package $pkg doesn't exist; getting it"
15 mkdir -p local_packages/$pkg;
16 (cd local_packages/$pkg;
17 apt-get download $pkg;
18 dpkg-deb -x $pkg*.deb .
21 ln ~/local_packages/$pkg/usr/bin/$pkg bin/$pkg -s
22 if [ "$pkg" == "mr" ]; then
23 echo "include = cat ~/local_packages/$pkg/usr/share/mr/*" >> ~/.mrconfig
28 # .config is currently a link; this indicates that we are dealing with my old configuration system
29 if [ -L .config ]; then
30 mv .config .config_bak;
32 cp -r .config_bak/* .config/;
35 if [ -d lib/.svn ]; then
36 mv lib/.svn lib/.svn_bak;
39 if [ "$1" = "ssh" ]; then
42 git checkout git+ssh://git.donarmstrong.com/srv/git_private/mr.git
44 mr --config ~/.config/mr/config.d/base.git checkout
46 vcsh clone $GIT_BASE/mr.git mr;
49 if [ ! -e .ssh/authorized_keys ]; then
50 (cd .ssh/; ln authorized_keys_default authorized_keys -s;)