#!/bin/sh
+# wget -O new_home_directory 'http://git.donarmstrong.com/?p=bin.git;a=blob_plain;f=new_home_directory;hb=HEAD'
+# sh new_home_directory;
+
+
# makes a new home directory; defaults to one that does not use ssh
GIT_BASE=http://git.donarmstrong.com/
done;
# .config is currently a link; this indicates that we are dealing with my old configuration system
-for a in .zsh .config; do
+for a in .config; do
if [ -L ${a} ]; then
mv ${a} ${a}_bak;
mkdir -p ${a};
vcsh clone $GIT_BASE/mr.git mr;
fi;
mr checkout;
+
+for a in .zsh .ssh; do
+ if [ -L ${a} ]; then
+ mv ${a} ${a}_bak;
+ mr up;
+ mkdir -p ${a};
+ cp -r ${a}_bak/* ${a}/;
+ fi;
+done;
+
if [ ! -e .ssh/authorized_keys ]; then
(cd .ssh/; ln authorized_keys_default authorized_keys -s;)
fi;