2018-02-27 20:31:03 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2017-01-16 20:26:42 +01:00
|
|
|
function setupVars() {
|
|
|
|
local profilesPath="/nix/var/nix/profiles/per-user/$USER"
|
|
|
|
local gcPath="/nix/var/nix/gcroots/per-user/$USER"
|
|
|
|
local greatestGenNum
|
|
|
|
|
|
|
|
greatestGenNum=$( \
|
|
|
|
find "$profilesPath" -name 'home-manager-*-link' \
|
|
|
|
| sed 's/^.*-\([0-9]*\)-link$/\1/' \
|
|
|
|
| sort -rn \
|
|
|
|
| head -1)
|
|
|
|
|
2018-03-13 20:49:45 +01:00
|
|
|
if [[ -n $greatestGenNum ]] ; then
|
2017-01-16 20:26:42 +01:00
|
|
|
oldGenNum=$greatestGenNum
|
|
|
|
newGenNum=$((oldGenNum + 1))
|
|
|
|
else
|
|
|
|
newGenNum=1
|
|
|
|
fi
|
|
|
|
|
2018-03-13 20:49:45 +01:00
|
|
|
if [[ -e $gcPath/current-home ]] ; then
|
2017-01-16 20:26:42 +01:00
|
|
|
oldGenPath="$(readlink -e "$gcPath/current-home")"
|
|
|
|
fi
|
|
|
|
|
2018-03-13 20:49:45 +01:00
|
|
|
$VERBOSE_ECHO "Sanity checking oldGenNum and oldGenPath"
|
|
|
|
if [[ -v oldGenNum && ! -v oldGenPath
|
|
|
|
|| ! -v oldGenNum && -v oldGenPath ]]; then
|
|
|
|
errorEcho "Invalid profile number and GC root values! These must be"
|
|
|
|
errorEcho "either both empty or both set but are now set to"
|
|
|
|
errorEcho " '${oldGenNum:-}' and '${oldGenPath:-}'"
|
|
|
|
errorEcho "If you don't mind losing previous profile generations then"
|
|
|
|
errorEcho "the easiest solution is probably to run"
|
|
|
|
errorEcho " rm $profilesPath/home-manager*"
|
|
|
|
errorEcho " rm $gcPath/current-home"
|
|
|
|
errorEcho "and trying home-manager switch again. Good luck!"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
2017-02-05 23:00:04 +01:00
|
|
|
genProfilePath="$profilesPath/home-manager"
|
2017-01-16 20:26:42 +01:00
|
|
|
newGenPath="@GENERATION_DIR@";
|
|
|
|
newGenProfilePath="$profilesPath/home-manager-$newGenNum-link"
|
|
|
|
newGenGcPath="$gcPath/current-home"
|
|
|
|
}
|
|
|
|
|
2017-03-25 21:48:17 +01:00
|
|
|
if [[ -v VERBOSE ]]; then
|
2017-01-21 12:27:50 +01:00
|
|
|
export VERBOSE_ECHO=echo
|
|
|
|
export VERBOSE_ARG="--verbose"
|
|
|
|
else
|
|
|
|
export VERBOSE_ECHO=true
|
2017-03-25 21:48:17 +01:00
|
|
|
export VERBOSE_ARG=""
|
2017-01-21 12:27:50 +01:00
|
|
|
fi
|
|
|
|
|
2018-03-13 20:49:45 +01:00
|
|
|
echo "Starting home manager activation"
|
|
|
|
|
|
|
|
setupVars
|
|
|
|
|
2017-03-25 21:48:17 +01:00
|
|
|
if [[ -v DRY_RUN ]] ; then
|
2017-08-17 10:16:30 +02:00
|
|
|
echo "This is a dry run"
|
2017-01-21 12:27:50 +01:00
|
|
|
export DRY_RUN_CMD=echo
|
2017-01-16 20:26:42 +01:00
|
|
|
else
|
2017-01-21 12:27:50 +01:00
|
|
|
$VERBOSE_ECHO "This is a live run"
|
2017-03-25 21:48:17 +01:00
|
|
|
export DRY_RUN_CMD=""
|
2017-01-16 20:26:42 +01:00
|
|
|
fi
|
|
|
|
|
2018-02-27 20:31:03 +01:00
|
|
|
if [[ -v VERBOSE ]]; then
|
|
|
|
echo -n "Using Nix version: "
|
|
|
|
nix-env --version
|
|
|
|
fi
|
|
|
|
|
2017-01-21 12:27:50 +01:00
|
|
|
$VERBOSE_ECHO "Activation variables:"
|
2017-03-29 00:10:30 +02:00
|
|
|
if [[ -v oldGenNum ]] ; then
|
|
|
|
$VERBOSE_ECHO " oldGenNum=$oldGenNum"
|
|
|
|
$VERBOSE_ECHO " oldGenPath=$oldGenPath"
|
|
|
|
else
|
|
|
|
$VERBOSE_ECHO " oldGenNum undefined (first run?)"
|
|
|
|
$VERBOSE_ECHO " oldGenPath undefined (first run?)"
|
|
|
|
fi
|
2017-01-21 12:27:50 +01:00
|
|
|
$VERBOSE_ECHO " newGenPath=$newGenPath"
|
2017-03-29 00:10:30 +02:00
|
|
|
$VERBOSE_ECHO " newGenNum=$newGenNum"
|
2017-01-21 12:27:50 +01:00
|
|
|
$VERBOSE_ECHO " newGenProfilePath=$newGenProfilePath"
|
|
|
|
$VERBOSE_ECHO " newGenGcPath=$newGenGcPath"
|
2017-02-05 23:00:04 +01:00
|
|
|
$VERBOSE_ECHO " genProfilePath=$genProfilePath"
|