#!/bin/bash
source /a/bin/errhandle/err
+_errcatch_cleanup() {
+ echo 1 >~/.local/conflink
+}
+
+
+usage() {
+ cat <<EOF
+Usage: ${0##*/} [OPTIONS]
+Link or otherwise install configuration files.
+
+-f For fast. Dont use lnf, use ln -sf. Good for updating existing files.
+EOF
+ exit $1
+}
+
m() {
echo "$*"
"$@"
}
s() { sudo "$@"; }
-lnf() { /a/exe/lnf "$@"; }
+lnf() { /a/exe/lnf "$@"; }
+if [[ $1 == -f ]]; then
+ lnf() { ln -sf "$@"; }
+fi
shopt -s nullglob
shopt -s extglob
}
user=$(id -un)
-all_dirs=({/a/c,/p/c}{,/machine_specific/$HOSTNAME})
+all_dirs=({/a/bin/ds,/p/c}{,/machine_specific/$HOSTNAME})
# note, we assume a group of hosts does not have the
# same name as a single host, which is no problem on our scale.
for x in /p/c/machine_specific/*.hosts /a/bin/ds/machine_specific/*.hosts; do
##### end special extra stuff #####
- sudo bash -c 'shopt -s nullglob; cd /etc/openvpn; for f in client/* server/*; do ln -sf $f .; done'
+ if [[ -e /etc/openvpn ]]; then
+ sudo bash -c 'shopt -s nullglob && cd /etc/openvpn && for f in client/* server/*; do ln -sf $f .; done'
+ fi
m sudo -H -u user2 "${BASH_SOURCE[0]}"
;;
echo "$0: error: unexpected user"; exit 1
;;
esac
+
+echo 0 >~/.local/conflink