diff --git a/.local/bin/homeinit b/.local/bin/homeinit index c08fb4c2..3e74a759 100755 --- a/.local/bin/homeinit +++ b/.local/bin/homeinit @@ -10,13 +10,13 @@ ROOT=$HTTPS_ROOT PROFILE=/tmp/homeinit-$USER/homeinit USER_NAME=Ambrevar SUBSTITUTE_URLS=https://ci.guix.gnu.org +## Hardcoded in .mbsyncrc: +MAIL_CACHE="$HOME/.cache/mail" [ -z "$SOURCEDIR" ] && SOURCEDIR="$HOME/personal" [ -z "$XDG_CONFIG_HOME" ] && XDG_CONFIG_HOME="$HOME/.config" [ -z "$XDG_DATA_HOME" ] && XDG_DATA_HOME="$HOME/.local/share" [ -z "$XDG_BIN_HOME" ] && XDG_BIN_HOME="$XDG_DATA_HOME/../bin" -## Hardcoded in .mbsyncrc: -MAIL_CACHE="$HOME/.cache/mail" usage() { cat <&2 @@ -26,7 +26,7 @@ Initialize user profile: install packages, set up folders, etc. Options: - -g DEVICE: Device where to sync ~/.gnupg. + -g DEVICE: Device where to sync ~/.gnupg from, e.g. '/dev/sda1'. -u: Skip large updates (packages, emails, etc.) -s URLS: Extra substitute URLs for Guix (space separated). Example: 'http://192.168.1.2:8080'. @@ -38,7 +38,7 @@ Environment variables: XDG_DATA_HOME=$XDG_DATA_HOME XDG_BIN_HOME=$XDG_BIN_HOME -Tip: +Tips: - Run the following command to install the Guix corresponding to your substitute server: