diff options
Diffstat (limited to 'bin/update')
-rwxr-xr-x | bin/update | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/bin/update b/bin/update new file mode 100755 index 0000000..cc2412e --- /dev/null +++ b/bin/update @@ -0,0 +1,73 @@ +#!/bin/sh +set -eu + +usage() { + cat <<-'EOF' + Usage: + update + update -h + EOF +} + +help() { + cat <<-'EOF' + + Options: + -h, --help show this message + + + Updates miscellaneous things on the workstation: + - "guix pull" on the "andreh" and "root" accounts; + - get latest RFCs; + - updates RSS feeds; + - updates source code repositories. + + + Examples: + + Just use it: + + $ update + EOF +} + + +for flag in "$@"; do + case "$flag" in + --) + break + ;; + --help) + usage + help + exit + ;; + *) + ;; + esac +done + +while getopts 'h' flag; do + case "$flag" in + h) + usage + help + exit + ;; + *) + usage >&2 + exit 2 + ;; + esac +done +shift $((OPTIND - 1)) + + +guix pull +rfc -u + +repos -e ~/dev/go/ -e ~/dev/quicklisp/ -e ~/dev/archive/ ~/dev/ | + xargs -I% -P4 x \ + echo 'Fetching on %.' AND \ + vcs -C% fetch OR \ + echo 'WARNING: Failed to fetch repository: %.' >&2 |