local/bin/homeinit: Fix documentation.

master
Pierre Neidhardt 2020-06-11 14:37:43 +02:00
parent f613bd1207
commit 1e44c3de6e
1 changed files with 4 additions and 4 deletions

View File

@ -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 <<EOF>&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: