Skip to content
Snippets Groups Projects
Commit e065ccfe authored by Richard Hartmann's avatar Richard Hartmann
Browse files

Merge remote-tracking branch 'jfw/master'

parents 952eff91 2ef5c0c8
Branches
Tags
No related merge requests found
#!/bin/sh
# This adds a remote origin at $GITURL/dotfiles/$VCSH_DIRECTORY which
# is helpful for creating new dotfile repositories that you plan to
# store on (e.g.) Github.
#
# You must set $GITURL in order to use this hook. For example, add the
# following to your .bashrc (or equivalent for your shell), replacing
# YOURUSERNAME with your github username:
#
# export GITURL="git@github.com:YOURUSERNAME"
if [ -z $GITURL ]; then
echo "\$GITURL is not set; please see post-init-add-origin hook"
exit 1;
fi
vcsh $VCSH_DIRECTORY remote add origin $GITURL/dotfiles/$VCSH_DIRECTORY
#!/bin/sh
# This sets up your new repos with mr.
cat > $HOME/.config/mr/available.d/$VCSH_DIRECTORY.vcsh << EOF
[\$HOME/.config/vcsh/repo.d/$VCSH_DIRECTORY.git]
checkout = vcsh clone $GITURL/dotfiles/$VCSH_DIRECTORY.git
EOF
ln -s $HOME/.config/mr/available.d/$VCSH_DIRECTORY.vcsh $HOME/.config/mr/config.d/
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment