diff options
author | P. J. McDermott <pj@pehjota.net> | 2016-03-05 03:03:20 (EST) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2016-03-05 03:03:20 (EST) |
commit | cbbf0a4ade85cb27e41a085ab740ae2e59e082c2 (patch) | |
tree | af88f743c8dae6c6b91d7e27fcf0f23295921e8e /bin/dfen | |
parent | 20c36884281c9761831c653877ad0d9153dcf8ce (diff) | |
download | mr-cbbf0a4ade85cb27e41a085ab740ae2e59e082c2.zip mr-cbbf0a4ade85cb27e41a085ab740ae2e59e082c2.tar.gz mr-cbbf0a4ade85cb27e41a085ab740ae2e59e082c2.tar.bz2 |
bin/dfmk, bin/dfen: New scripts
Diffstat (limited to 'bin/dfen')
-rwxr-xr-x | bin/dfen | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/bin/dfen b/bin/dfen new file mode 100755 index 0000000..3cf4aef --- /dev/null +++ b/bin/dfen @@ -0,0 +1,24 @@ +#!/bin/sh + +if [ ${#} -eq 0 ]; then + printf 'Usage: %s repository ...\n' "${0}" >&2 + exit 1 +fi + +for repo in "${@}"; do + if ! [ -f "${HOME}/.config/mr/available.d/${repo}.vcsh" ]; then + printf 'Error: %s: No such repository\n' "${repo}" >&2 + continue + fi + if [ -f "${HOME}/.config/mr/config.d/${repo}.vcsh" ]; then + printf 'Warning: %s: Already enabled\n' "${repo}" >&2 + continue + fi + + # Enable repository in mr configuration + ln -s "../available.d/${repo}.vcsh" \ + "${HOME}/.config/mr/config.d/${repo}.vcsh" + + # Clone repository + mr checkout +done |