2019-02-05 09:42:30 +00:00
|
|
|
|
#!/bin/sh
|
2018-01-28 21:14:23 +00:00
|
|
|
|
# GNU Guix --- Functional package management for GNU
|
|
|
|
|
# Copyright © 2017 sharlatan <sharlatanus@gmail.com>
|
|
|
|
|
# Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
|
2018-02-21 20:09:41 +00:00
|
|
|
|
# Copyright © 2018 Efraim Flashner <efraim@flashner.co.il>
|
2022-10-16 00:00:04 +00:00
|
|
|
|
# Copyright © 2019–2020, 2022 Tobias Geerinckx-Rice <me@tobias.gr>
|
2020-09-17 11:03:09 +00:00
|
|
|
|
# Copyright © 2020 Morgan Smith <Morgan.J.Smith@outlook.com>
|
2020-10-13 17:12:04 +00:00
|
|
|
|
# Copyright © 2020 Simon Tournier <zimon.toutoune@gmail.com>
|
2020-11-15 16:38:14 +00:00
|
|
|
|
# Copyright © 2020 Daniel Brooks <db48x@db48x.net>
|
2021-01-01 17:26:51 +00:00
|
|
|
|
# Copyright © 2021 Jakub Kądziołka <kuba@kadziolka.net>
|
2021-02-21 01:29:58 +00:00
|
|
|
|
# Copyright © 2021 Chris Marusich <cmmarusich@gmail.com>
|
2023-04-24 16:46:22 +00:00
|
|
|
|
# Copyright © 2021, 2022, 2023 Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
2022-11-08 07:54:21 +00:00
|
|
|
|
# Copyright © 2022 Prafulla Giri <prafulla.giri@protonmail.com>
|
2023-01-13 10:09:02 +00:00
|
|
|
|
# Copyright © 2023 Andrew Tropin <andrew@trop.in>
|
2024-04-05 12:04:23 +00:00
|
|
|
|
# Copyright © 2020 David A. Redick <david.a.redick@gmail.com>
|
2024-01-16 08:22:08 +00:00
|
|
|
|
# Copyright © 2024 Janneke Nieuwenhuizen <janneke@gnu.org>
|
2018-01-28 21:14:23 +00:00
|
|
|
|
#
|
|
|
|
|
# This file is part of GNU Guix.
|
|
|
|
|
#
|
|
|
|
|
# GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
# under the terms of the GNU General Public License as published by
|
|
|
|
|
# the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
# your option) any later version.
|
|
|
|
|
#
|
|
|
|
|
# GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
# WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
# GNU General Public License for more details.
|
|
|
|
|
#
|
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
|
# along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
2019-02-05 09:42:30 +00:00
|
|
|
|
# We require Bash but for portability we'd rather not use /bin/bash or
|
|
|
|
|
# /usr/bin/env in the shebang, hence this hack.
|
2022-12-14 15:31:52 +00:00
|
|
|
|
|
|
|
|
|
# Environment variables
|
|
|
|
|
#
|
|
|
|
|
# GUIX_BINARY_FILE_NAME
|
|
|
|
|
#
|
|
|
|
|
# Can be used to override the automatic download mechanism and point
|
|
|
|
|
# to a local Guix binary archive filename like
|
|
|
|
|
# "/tmp/guix-binary-1.4.0rc2.armhf-linux.tar.xz"
|
|
|
|
|
#
|
|
|
|
|
# GUIX_ALLOW_OVERWRITE
|
|
|
|
|
#
|
|
|
|
|
# Instead of aborting to avoid overwriting a previous installations,
|
|
|
|
|
# allow copying over /var/guix or /gnu. This can be useful when the
|
|
|
|
|
# installation required the user to extract Guix packs under /gnu to
|
|
|
|
|
# satisfy its dependencies.
|
|
|
|
|
|
2019-02-05 09:42:30 +00:00
|
|
|
|
if [ "x$BASH_VERSION" = "x" ]
|
|
|
|
|
then
|
|
|
|
|
exec bash "$0" "$@"
|
|
|
|
|
fi
|
|
|
|
|
|
2022-10-16 00:00:01 +00:00
|
|
|
|
set -eo pipefail
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
[ "$UID" -eq 0 ] || { echo "This script must be run as root."; exit 1; }
|
|
|
|
|
|
|
|
|
|
REQUIRE=(
|
|
|
|
|
"dirname"
|
|
|
|
|
"readlink"
|
|
|
|
|
"wget"
|
|
|
|
|
"gpg"
|
|
|
|
|
"grep"
|
|
|
|
|
"which"
|
|
|
|
|
"sed"
|
|
|
|
|
"sort"
|
|
|
|
|
"getent"
|
|
|
|
|
"mktemp"
|
|
|
|
|
"rm"
|
|
|
|
|
"chmod"
|
|
|
|
|
"uname"
|
|
|
|
|
"groupadd"
|
2024-04-05 12:04:23 +00:00
|
|
|
|
"groupdel"
|
2022-12-14 20:42:12 +00:00
|
|
|
|
"useradd"
|
2024-04-05 12:04:23 +00:00
|
|
|
|
"userdel"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
"tail"
|
|
|
|
|
"tr"
|
2020-05-17 17:16:59 +00:00
|
|
|
|
"xz"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
PAS=$'[ \033[32;1mPASS\033[0m ] '
|
|
|
|
|
ERR=$'[ \033[31;1mFAIL\033[0m ] '
|
2020-10-13 17:12:03 +00:00
|
|
|
|
WAR=$'[ \033[33;1mWARN\033[0m ] '
|
2018-01-28 21:14:23 +00:00
|
|
|
|
INF="[ INFO ] "
|
|
|
|
|
|
|
|
|
|
DEBUG=0
|
2019-05-02 13:31:24 +00:00
|
|
|
|
GNU_URL="https://ftp.gnu.org/gnu/guix/"
|
2020-11-15 16:38:14 +00:00
|
|
|
|
#GNU_URL="https://alpha.gnu.org/gnu/guix/"
|
2021-05-01 04:27:14 +00:00
|
|
|
|
|
|
|
|
|
# The following associative array holds set of GPG keys used to sign the
|
|
|
|
|
# releases, keyed by their corresponding Savannah user ID.
|
|
|
|
|
declare -A GPG_SIGNING_KEYS
|
|
|
|
|
GPG_SIGNING_KEYS[15145]=3CE464558A84FDC69DB40CFB090B11993D9AEBB5 # ludo
|
|
|
|
|
GPG_SIGNING_KEYS[127547]=27D586A4F8900854329FF09F1260E46482E63562 # maxim
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
#+UTILITIES
|
|
|
|
|
|
|
|
|
|
_err()
|
|
|
|
|
{ # All errors go to stderr.
|
|
|
|
|
printf "[%s]: %s\n" "$(date +%s.%3N)" "$1"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_msg()
|
|
|
|
|
{ # Default message to stdout.
|
|
|
|
|
printf "[%s]: %s\n" "$(date +%s.%3N)" "$1"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_debug()
|
|
|
|
|
{
|
|
|
|
|
if [ "${DEBUG}" = '1' ]; then
|
|
|
|
|
printf "[%s]: %s\n" "$(date +%s.%3N)" "$1"
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-07 01:48:20 +00:00
|
|
|
|
die()
|
|
|
|
|
{
|
|
|
|
|
_err "${ERR}$*"
|
|
|
|
|
exit 1
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-11 15:49:37 +00:00
|
|
|
|
# Return true if user answered yes, false otherwise. The prompt is
|
|
|
|
|
# yes-biased, that is, when the user simply enter newline, it is equivalent to
|
|
|
|
|
# answering "yes".
|
2021-05-05 02:25:34 +00:00
|
|
|
|
# $1: The prompt question.
|
|
|
|
|
prompt_yes_no() {
|
2022-10-11 15:49:37 +00:00
|
|
|
|
local -l yn
|
|
|
|
|
read -rp "$1 [Y/n]" yn
|
|
|
|
|
[[ ! $yn || $yn = y || $yn = yes ]] || return 1
|
2021-05-05 02:25:34 +00:00
|
|
|
|
}
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
chk_require()
|
|
|
|
|
{ # Check that every required command is available.
|
|
|
|
|
declare -a warn
|
2019-07-08 15:35:14 +00:00
|
|
|
|
local c
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2019-07-08 15:32:53 +00:00
|
|
|
|
for c in "$@"; do
|
2018-05-18 14:51:29 +00:00
|
|
|
|
command -v "$c" &>/dev/null || warn+=("$c")
|
2018-01-28 21:14:23 +00:00
|
|
|
|
done
|
|
|
|
|
|
2022-12-14 15:35:54 +00:00
|
|
|
|
[ "${#warn}" -ne 0 ] && die "Missing commands: ${warn[*]}."
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
_msg "${PAS}verification of required commands completed"
|
2019-07-08 16:04:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
chk_gpg_keyring()
|
|
|
|
|
{ # Check whether the Guix release signing public key is present.
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2021-05-01 04:27:14 +00:00
|
|
|
|
local user_id
|
|
|
|
|
local gpg_key_id
|
|
|
|
|
local exit_flag
|
|
|
|
|
|
|
|
|
|
for user_id in "${!GPG_SIGNING_KEYS[@]}"; do
|
|
|
|
|
gpg_key_id=${GPG_SIGNING_KEYS[$user_id]}
|
|
|
|
|
# Without --dry-run this command will create a ~/.gnupg owned by root on
|
|
|
|
|
# systems where gpg has never been used, causing errors and confusion.
|
2022-10-16 00:00:04 +00:00
|
|
|
|
if gpg --dry-run --list-keys "$gpg_key_id" >/dev/null 2>&1; then
|
|
|
|
|
continue
|
|
|
|
|
fi
|
|
|
|
|
if prompt_yes_no "${INF}The following OpenPGP public key is \
|
2021-05-05 02:25:34 +00:00
|
|
|
|
required to verify the Guix binary signature: $gpg_key_id.
|
2022-10-06 01:48:25 +00:00
|
|
|
|
Would you like me to fetch it for you?"; then
|
2022-10-16 00:00:04 +00:00
|
|
|
|
# Use a reasonable time-out here so users don't report silent
|
|
|
|
|
# ‘freezes’ when Savannah goes out to lunch, as has happened.
|
|
|
|
|
if wget "https://sv.gnu.org/people/viewgpg.php?user_id=$user_id" \
|
|
|
|
|
--timeout=30 --no-verbose -O- | gpg --import -; then
|
|
|
|
|
continue
|
|
|
|
|
fi
|
|
|
|
|
fi
|
|
|
|
|
# If we reach this point, the key is (still) missing. Report further
|
|
|
|
|
# missing keys, if any, but then abort the installation.
|
|
|
|
|
_err "${ERR}Missing OpenPGP public key ($gpg_key_id).
|
2021-05-05 02:25:34 +00:00
|
|
|
|
Fetch it with this command:
|
|
|
|
|
|
2021-09-29 14:53:17 +00:00
|
|
|
|
wget \"https://sv.gnu.org/people/viewgpg.php?user_id=$user_id\" -O - | \
|
2021-05-05 02:25:34 +00:00
|
|
|
|
sudo -i gpg --import -"
|
2022-10-16 00:00:04 +00:00
|
|
|
|
exit_flag=yes
|
2021-05-01 04:27:14 +00:00
|
|
|
|
done
|
2021-05-04 21:05:43 +00:00
|
|
|
|
if [ "$exit_flag" = yes ]; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
2018-01-28 21:14:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
chk_term()
|
|
|
|
|
{ # Check for ANSI terminal for color printing.
|
|
|
|
|
if [ -t 2 ]; then
|
|
|
|
|
if [ "${TERM+set}" = 'set' ]; then
|
|
|
|
|
case "$TERM" in
|
|
|
|
|
xterm*|rxvt*|urxvt*|linux*|vt*|eterm*|screen*)
|
|
|
|
|
;;
|
|
|
|
|
*)
|
|
|
|
|
ERR="[ FAIL ] "
|
|
|
|
|
PAS="[ PASS ] "
|
2024-04-05 12:04:23 +00:00
|
|
|
|
WAR="[ WARN ] "
|
2018-01-28 21:14:23 +00:00
|
|
|
|
;;
|
|
|
|
|
esac
|
|
|
|
|
fi
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
chk_init_sys()
|
|
|
|
|
{ # Return init system type name.
|
|
|
|
|
if [[ $(/sbin/init --version 2>/dev/null) =~ upstart ]]; then
|
|
|
|
|
_msg "${INF}init system is: upstart"
|
|
|
|
|
INIT_SYS="upstart"
|
|
|
|
|
return 0
|
2020-05-17 17:17:00 +00:00
|
|
|
|
elif [[ $(systemctl 2>/dev/null) =~ -\.mount ]]; then
|
2018-01-28 21:14:23 +00:00
|
|
|
|
_msg "${INF}init system is: systemd"
|
|
|
|
|
INIT_SYS="systemd"
|
|
|
|
|
return 0
|
|
|
|
|
elif [[ -f /etc/init.d/cron && ! -h /etc/init.d/cron ]]; then
|
|
|
|
|
_msg "${INF}init system is: sysv-init"
|
|
|
|
|
INIT_SYS="sysv-init"
|
|
|
|
|
return 0
|
2020-09-17 11:03:09 +00:00
|
|
|
|
elif [[ $(openrc --version 2>/dev/null) =~ \(OpenRC\) ]]; then
|
|
|
|
|
_msg "${INF}init system is: OpenRC"
|
|
|
|
|
INIT_SYS="openrc"
|
|
|
|
|
return 0
|
2018-01-28 21:14:23 +00:00
|
|
|
|
else
|
|
|
|
|
INIT_SYS="NA"
|
|
|
|
|
_err "${ERR}Init system could not be detected."
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
chk_sys_arch()
|
|
|
|
|
{ # Check for operating system and architecture type.
|
|
|
|
|
local os
|
|
|
|
|
local arch
|
|
|
|
|
|
|
|
|
|
os="$(uname -s)"
|
|
|
|
|
arch="$(uname -m)"
|
|
|
|
|
|
|
|
|
|
case "$arch" in
|
|
|
|
|
i386 | i486 | i686 | i786 | x86)
|
|
|
|
|
local arch=i686
|
|
|
|
|
;;
|
|
|
|
|
x86_64 | x86-64 | x64 | amd64)
|
|
|
|
|
local arch=x86_64
|
|
|
|
|
;;
|
2018-02-21 20:09:41 +00:00
|
|
|
|
aarch64)
|
|
|
|
|
local arch=aarch64
|
|
|
|
|
;;
|
2020-05-31 20:42:54 +00:00
|
|
|
|
armv7l)
|
|
|
|
|
local arch=armhf
|
|
|
|
|
;;
|
2021-02-21 01:29:58 +00:00
|
|
|
|
ppc64le | powerpc64le)
|
|
|
|
|
local arch=powerpc64le
|
|
|
|
|
;;
|
2018-01-28 21:14:23 +00:00
|
|
|
|
*)
|
2022-10-07 01:48:20 +00:00
|
|
|
|
die "Unsupported CPU type: ${arch}"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
esac
|
|
|
|
|
|
|
|
|
|
case "$os" in
|
|
|
|
|
Linux | linux)
|
|
|
|
|
local os=linux
|
|
|
|
|
;;
|
|
|
|
|
*)
|
2022-10-07 01:48:20 +00:00
|
|
|
|
die "Your operation system (${os}) is not supported."
|
2018-01-28 21:14:23 +00:00
|
|
|
|
esac
|
|
|
|
|
|
|
|
|
|
ARCH_OS="${arch}-${os}"
|
|
|
|
|
}
|
|
|
|
|
|
2020-10-13 17:12:03 +00:00
|
|
|
|
chk_sys_nscd()
|
|
|
|
|
{ # Check if nscd is up and suggest to start it or install it
|
|
|
|
|
if [ "$(type -P pidof)" ]; then
|
|
|
|
|
if [ ! "$(pidof nscd)" ]; then
|
|
|
|
|
_msg "${WAR}We recommend installing and/or starting your distribution 'nscd' service"
|
|
|
|
|
_msg "${WAR}Please read 'info guix \"Application Setup\"' about \"Name Service Switch\""
|
|
|
|
|
fi
|
|
|
|
|
else
|
|
|
|
|
_msg "${INF}We cannot determine if your distribution 'nscd' service is running"
|
|
|
|
|
_msg "${INF}Please read 'info guix \"Application Setup\"' about \"Name Service Switch\""
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
2021-07-05 20:44:29 +00:00
|
|
|
|
# Configure substitute discovery according to user's preferences.
|
|
|
|
|
# $1 is the installed service file to edit.
|
|
|
|
|
configure_substitute_discovery() {
|
|
|
|
|
if grep -q -- '--discover=no' "$1" && \
|
|
|
|
|
prompt_yes_no "Would you like the Guix daemon to automatically \
|
2022-10-06 01:48:25 +00:00
|
|
|
|
discover substitute servers on the local network?"; then
|
2021-07-05 20:44:29 +00:00
|
|
|
|
sed -i 's/--discover=no/--discover=yes/' "$1"
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
|
#+MAIN
|
|
|
|
|
|
|
|
|
|
guix_get_bin_list()
|
|
|
|
|
{ # Scan GNU archive and save list of binaries
|
|
|
|
|
local gnu_url="$1"
|
|
|
|
|
local -a bin_ver_ls
|
|
|
|
|
local latest_ver
|
|
|
|
|
local default_ver
|
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
# Filter only version and architecture
|
2021-09-29 14:53:17 +00:00
|
|
|
|
bin_ver_ls=("$(wget "$gnu_url" --no-verbose -O- \
|
2020-11-15 16:38:14 +00:00
|
|
|
|
| sed -n -e 's/.*guix-binary-\([0-9.]*[a-z0-9]*\)\..*.tar.xz.*/\1/p' \
|
2018-01-28 21:14:23 +00:00
|
|
|
|
| sort -Vu)")
|
|
|
|
|
|
2020-05-31 20:42:56 +00:00
|
|
|
|
latest_ver="$(echo "${bin_ver_ls[0]}" \
|
2020-11-15 16:38:14 +00:00
|
|
|
|
| grep -oE "([0-9]{1,2}\.){2}[0-9]{1,2}[a-z0-9]*" \
|
2018-01-28 21:14:23 +00:00
|
|
|
|
| tail -n1)"
|
|
|
|
|
|
|
|
|
|
default_ver="guix-binary-${latest_ver}.${ARCH_OS}"
|
|
|
|
|
|
|
|
|
|
if [[ "${#bin_ver_ls}" -ne "0" ]]; then
|
|
|
|
|
_msg "${PAS}Release for your system: ${default_ver}"
|
|
|
|
|
else
|
2022-10-07 01:48:20 +00:00
|
|
|
|
die "Could not obtain list of Guix releases."
|
2018-01-28 21:14:23 +00:00
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# Use default to download according to the list and local ARCH_OS.
|
2020-05-31 20:42:56 +00:00
|
|
|
|
BIN_VER="${default_ver}"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
guix_get_bin()
|
|
|
|
|
{ # Download and verify binary package.
|
|
|
|
|
local url="$1"
|
|
|
|
|
local bin_ver="$2"
|
|
|
|
|
local dl_path="$3"
|
2021-05-04 21:05:43 +00:00
|
|
|
|
local wget_args=()
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
_msg "${INF}Downloading Guix release archive"
|
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
wget --help | grep -q '\--show-progress' \
|
2021-09-29 14:53:17 +00:00
|
|
|
|
&& wget_args=("--no-verbose" "--show-progress")
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
if wget "${wget_args[@]}" -P "$dl_path" \
|
|
|
|
|
"${url}/${bin_ver}.tar.xz" "${url}/${bin_ver}.tar.xz.sig"; then
|
|
|
|
|
_msg "${PAS}download completed."
|
2018-01-28 21:14:23 +00:00
|
|
|
|
else
|
2022-10-07 01:48:20 +00:00
|
|
|
|
die "could not download ${url}/${bin_ver}.tar.xz."
|
2018-01-28 21:14:23 +00:00
|
|
|
|
fi
|
|
|
|
|
|
2020-05-31 20:42:57 +00:00
|
|
|
|
pushd "${dl_path}" >/dev/null
|
2021-05-04 21:05:43 +00:00
|
|
|
|
if gpg --verify "${bin_ver}.tar.xz.sig" >/dev/null 2>&1; then
|
2018-01-28 21:14:23 +00:00
|
|
|
|
_msg "${PAS}Signature is valid."
|
|
|
|
|
popd >/dev/null
|
|
|
|
|
else
|
2022-10-07 01:48:20 +00:00
|
|
|
|
die "could not verify the signature."
|
2018-01-28 21:14:23 +00:00
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
sys_create_store()
|
|
|
|
|
{ # Unpack and install /gnu/store and /var/guix
|
|
|
|
|
local pkg="$1"
|
|
|
|
|
local tmp_path="$2"
|
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2023-04-24 16:46:22 +00:00
|
|
|
|
if [[ -e /var/guix && -e /gnu ]]; then
|
|
|
|
|
if [ -n "$GUIX_ALLOW_OVERWRITE" ]; then
|
|
|
|
|
_msg "${WAR}Overwriting existing installation!"
|
|
|
|
|
else
|
|
|
|
|
die "A previous Guix installation was found. Refusing to overwrite."
|
|
|
|
|
fi
|
2018-01-28 21:14:23 +00:00
|
|
|
|
fi
|
|
|
|
|
|
2021-05-05 02:48:20 +00:00
|
|
|
|
cd "$tmp_path"
|
|
|
|
|
_msg "${INF}Installing /var/guix and /gnu..."
|
2023-07-05 20:27:48 +00:00
|
|
|
|
# Strip (skip) the leading ‘.’ component, which fails on read-only ‘/’.
|
|
|
|
|
tar --extract --strip-components=1 --file "$pkg" -C /
|
2021-05-05 02:48:20 +00:00
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
_msg "${INF}Linking the root user's profile"
|
2021-11-07 19:09:46 +00:00
|
|
|
|
mkdir -p ~root/.config/guix
|
2018-10-21 20:22:13 +00:00
|
|
|
|
ln -sf /var/guix/profiles/per-user/root/current-guix \
|
2021-11-07 19:09:46 +00:00
|
|
|
|
~root/.config/guix/current
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-11-07 19:09:46 +00:00
|
|
|
|
GUIX_PROFILE=~root/.config/guix/current
|
2021-05-04 21:05:43 +00:00
|
|
|
|
# shellcheck disable=SC1090
|
2018-01-28 21:14:23 +00:00
|
|
|
|
source "${GUIX_PROFILE}/etc/profile"
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_msg "${PAS}activated root profile at ${GUIX_PROFILE}"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
2024-04-05 12:04:23 +00:00
|
|
|
|
sys_delete_store()
|
|
|
|
|
{
|
|
|
|
|
_msg "${INF}removing /var/guix"
|
|
|
|
|
rm -rf /var/guix
|
|
|
|
|
|
|
|
|
|
_msg "${INF}removing /gnu"
|
|
|
|
|
rm -rf /gnu
|
|
|
|
|
|
|
|
|
|
_msg "${INF}removing ${ROOT_HOME}/.config/guix"
|
|
|
|
|
rm -rf ${ROOT_HOME}/.config/guix
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
sys_create_build_user()
|
|
|
|
|
{ # Create the group and user accounts for build users.
|
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
if getent group guixbuild > /dev/null; then
|
2018-01-28 21:14:23 +00:00
|
|
|
|
_msg "${INF}group guixbuild exists"
|
|
|
|
|
else
|
|
|
|
|
groupadd --system guixbuild
|
|
|
|
|
_msg "${PAS}group <guixbuild> created"
|
|
|
|
|
fi
|
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
if getent group kvm > /dev/null; then
|
2021-04-08 22:34:43 +00:00
|
|
|
|
_msg "${INF}group kvm exists and build users will be added to it"
|
2021-07-14 03:42:19 +00:00
|
|
|
|
local KVMGROUP=,kvm
|
2021-04-08 22:34:43 +00:00
|
|
|
|
fi
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
for i in $(seq -w 1 10); do
|
|
|
|
|
if id "guixbuilder${i}" &>/dev/null; then
|
|
|
|
|
_msg "${INF}user is already in the system, reset"
|
2021-04-08 22:34:43 +00:00
|
|
|
|
usermod -g guixbuild -G guixbuild${KVMGROUP} \
|
2018-01-28 21:14:23 +00:00
|
|
|
|
-d /var/empty -s "$(which nologin)" \
|
|
|
|
|
-c "Guix build user $i" \
|
|
|
|
|
"guixbuilder${i}";
|
|
|
|
|
else
|
2021-04-08 22:34:43 +00:00
|
|
|
|
useradd -g guixbuild -G guixbuild${KVMGROUP} \
|
2018-01-28 21:14:23 +00:00
|
|
|
|
-d /var/empty -s "$(which nologin)" \
|
|
|
|
|
-c "Guix build user $i" --system \
|
|
|
|
|
"guixbuilder${i}";
|
|
|
|
|
_msg "${PAS}user added <guixbuilder${i}>"
|
|
|
|
|
fi
|
|
|
|
|
done
|
|
|
|
|
}
|
|
|
|
|
|
2024-04-05 12:04:23 +00:00
|
|
|
|
sys_delete_build_user()
|
|
|
|
|
{
|
|
|
|
|
for i in $(seq -w 1 10); do
|
|
|
|
|
userdel -f guixbuilder${i}
|
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
_msg "${INF}delete group guixbuild"
|
|
|
|
|
groupdel -f guixbuild
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
sys_enable_guix_daemon()
|
|
|
|
|
{ # Run the daemon, and set it to automatically start on boot.
|
|
|
|
|
|
|
|
|
|
local info_path
|
|
|
|
|
local local_bin
|
|
|
|
|
local var_guix
|
|
|
|
|
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_debug "--- [ ${FUNCNAME[0]} ] ---"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
info_path="/usr/local/share/info"
|
|
|
|
|
local_bin="/usr/local/bin"
|
2018-10-21 20:22:13 +00:00
|
|
|
|
var_guix="/var/guix/profiles/per-user/root/current-guix"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
case "$INIT_SYS" in
|
|
|
|
|
upstart)
|
|
|
|
|
{ initctl reload-configuration;
|
2021-11-07 19:09:46 +00:00
|
|
|
|
cp ~root/.config/guix/current/lib/upstart/system/guix-daemon.conf \
|
2018-01-28 21:14:23 +00:00
|
|
|
|
/etc/init/ &&
|
2021-07-05 20:44:29 +00:00
|
|
|
|
configure_substitute_discovery /etc/init/guix-daemon.conf &&
|
2018-01-28 21:14:23 +00:00
|
|
|
|
start guix-daemon; } &&
|
|
|
|
|
_msg "${PAS}enabled Guix daemon via upstart"
|
|
|
|
|
;;
|
|
|
|
|
systemd)
|
2023-07-09 00:00:01 +00:00
|
|
|
|
{ install_unit()
|
|
|
|
|
{
|
|
|
|
|
local dest="/etc/systemd/system/$1"
|
|
|
|
|
rm -f "$dest"
|
|
|
|
|
cp ~root/.config/guix/current/lib/systemd/system/"$1" "$dest"
|
|
|
|
|
chmod 664 "$dest"
|
|
|
|
|
systemctl daemon-reload
|
|
|
|
|
systemctl enable "$1"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
install_unit guix-daemon.service
|
2019-09-05 16:31:03 +00:00
|
|
|
|
|
2021-07-05 20:44:29 +00:00
|
|
|
|
configure_substitute_discovery \
|
|
|
|
|
/etc/systemd/system/guix-daemon.service
|
|
|
|
|
|
2023-07-09 00:00:01 +00:00
|
|
|
|
# Install after guix-daemon.service to avoid a harmless warning.
|
|
|
|
|
# systemd .mount units must be named after the target directory.
|
|
|
|
|
# Here we assume a hard-coded name of /gnu/store.
|
|
|
|
|
install_unit gnu-store.mount
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
systemctl daemon-reload &&
|
2020-07-10 11:25:26 +00:00
|
|
|
|
systemctl start guix-daemon; } &&
|
2018-01-28 21:14:23 +00:00
|
|
|
|
_msg "${PAS}enabled Guix daemon via systemd"
|
|
|
|
|
;;
|
2020-01-28 17:38:58 +00:00
|
|
|
|
sysv-init)
|
|
|
|
|
{ mkdir -p /etc/init.d;
|
2021-11-07 19:09:46 +00:00
|
|
|
|
cp ~root/.config/guix/current/etc/init.d/guix-daemon \
|
2020-01-28 17:38:58 +00:00
|
|
|
|
/etc/init.d/guix-daemon;
|
|
|
|
|
chmod 775 /etc/init.d/guix-daemon;
|
|
|
|
|
|
2021-07-05 20:44:29 +00:00
|
|
|
|
configure_substitute_discovery /etc/init.d/guix-daemon
|
|
|
|
|
|
2020-01-28 17:38:58 +00:00
|
|
|
|
update-rc.d guix-daemon defaults &&
|
|
|
|
|
update-rc.d guix-daemon enable &&
|
|
|
|
|
service guix-daemon start; } &&
|
|
|
|
|
_msg "${PAS}enabled Guix daemon via sysv"
|
|
|
|
|
;;
|
2020-09-17 11:03:09 +00:00
|
|
|
|
openrc)
|
|
|
|
|
{ mkdir -p /etc/init.d;
|
2021-11-07 19:09:46 +00:00
|
|
|
|
cp ~root/.config/guix/current/etc/openrc/guix-daemon \
|
2020-09-17 11:03:09 +00:00
|
|
|
|
/etc/init.d/guix-daemon;
|
|
|
|
|
chmod 775 /etc/init.d/guix-daemon;
|
|
|
|
|
|
2021-07-05 20:44:29 +00:00
|
|
|
|
configure_substitute_discovery /etc/init.d/guix-daemon
|
|
|
|
|
|
2020-09-17 11:03:09 +00:00
|
|
|
|
rc-update add guix-daemon default &&
|
|
|
|
|
rc-service guix-daemon start; } &&
|
|
|
|
|
_msg "${PAS}enabled Guix daemon via OpenRC"
|
|
|
|
|
;;
|
2018-01-28 21:14:23 +00:00
|
|
|
|
NA|*)
|
|
|
|
|
_msg "${ERR}unsupported init system; run the daemon manually:"
|
2021-05-04 21:05:43 +00:00
|
|
|
|
echo " ~root/.config/guix/current/bin/guix-daemon --build-users-group=guixbuild"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
;;
|
|
|
|
|
esac
|
|
|
|
|
|
|
|
|
|
_msg "${INF}making the guix command available to other users"
|
|
|
|
|
|
|
|
|
|
[ -e "$local_bin" ] || mkdir -p "$local_bin"
|
|
|
|
|
ln -sf "${var_guix}/bin/guix" "$local_bin"
|
|
|
|
|
|
|
|
|
|
[ -e "$info_path" ] || mkdir -p "$info_path"
|
2020-05-31 20:42:55 +00:00
|
|
|
|
for i in "${var_guix}"/share/info/*; do
|
2018-01-28 21:14:23 +00:00
|
|
|
|
ln -sf "$i" "$info_path"
|
|
|
|
|
done
|
|
|
|
|
}
|
|
|
|
|
|
2024-04-05 12:04:23 +00:00
|
|
|
|
sys_delete_guix_daemon()
|
|
|
|
|
{ # Disabled, stop and remove the various guix daemons.
|
|
|
|
|
|
|
|
|
|
local info_path
|
|
|
|
|
local local_bin
|
|
|
|
|
local var_guix
|
|
|
|
|
|
|
|
|
|
_debug "--- [ $FUNCNAME ] ---"
|
|
|
|
|
|
|
|
|
|
info_path="/usr/local/share/info"
|
|
|
|
|
local_bin="/usr/local/bin"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
case "$INIT_SYS" in
|
|
|
|
|
upstart)
|
|
|
|
|
_msg "${INF}stopping guix-daemon"
|
|
|
|
|
stop guix-daemon
|
|
|
|
|
_msg "${INF}removing guix-daemon"
|
|
|
|
|
rm /etc/init/guix-daemon.conf
|
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
systemd)
|
|
|
|
|
_msg "${INF}disabling guix-daemon"
|
|
|
|
|
systemctl disable guix-daemon
|
|
|
|
|
_msg "${INF}stopping guix-daemon"
|
|
|
|
|
systemctl stop guix-daemon
|
|
|
|
|
_msg "${INF}removing guix-daemon"
|
|
|
|
|
rm -f /etc/systemd/system/guix-daemon.service
|
|
|
|
|
|
|
|
|
|
if [ -x /etc/systemd/system/gnu-store.mount ]; then
|
|
|
|
|
_msg "${INF}disabling gnu-store.mount"
|
|
|
|
|
systemctl disable gnu-store.mount
|
|
|
|
|
_msg "${INF}stopping gnu-store.mount"
|
|
|
|
|
systemctl stop gnu-store.mount
|
|
|
|
|
_msg "${INF}removing gnu-store.mount"
|
|
|
|
|
rm -f /etc/systemd/system/gnu-store.mount
|
|
|
|
|
fi
|
|
|
|
|
systemctl daemon-reload
|
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
sysv-init)
|
|
|
|
|
update-rc.d guix-daemon disable
|
|
|
|
|
service guix-daemon stop
|
|
|
|
|
rm -rf /etc/init.d/guix-daemon
|
|
|
|
|
;;
|
|
|
|
|
NA|*)
|
|
|
|
|
_msg "${ERR}unsupported init system; disable, stop and remove the daemon manually:"
|
|
|
|
|
echo " ${ROOT_HOME}/.config/guix/current/bin/guix-daemon --build-users-group=guixbuild"
|
|
|
|
|
;;
|
|
|
|
|
esac
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
_msg "${INF}removing $local_bin/guix"
|
|
|
|
|
rm -f "$local_bin"/guix
|
|
|
|
|
|
|
|
|
|
_msg "${INF}removing $info_path/guix*"
|
|
|
|
|
rm -f "$info_path"/guix*
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
sys_authorize_build_farms()
|
2021-09-29 15:43:10 +00:00
|
|
|
|
{ # authorize the public key(s) of the build farm(s)
|
|
|
|
|
local hosts=(
|
|
|
|
|
bordeaux.guix.gnu.org
|
2024-03-27 13:43:43 +00:00
|
|
|
|
ci.guix.gnu.org
|
2021-09-29 15:43:10 +00:00
|
|
|
|
)
|
|
|
|
|
|
2021-05-05 02:25:34 +00:00
|
|
|
|
if prompt_yes_no "Permit downloading pre-built package binaries from the \
|
2021-09-29 15:43:10 +00:00
|
|
|
|
project's build farms?"; then
|
|
|
|
|
for host in "${hosts[@]}"; do
|
|
|
|
|
local key=~root/.config/guix/current/share/guix/$host.pub
|
|
|
|
|
[ -f "$key" ] \
|
|
|
|
|
&& guix archive --authorize < "$key" \
|
|
|
|
|
&& _msg "${PAS}Authorized public key for $host"
|
|
|
|
|
done
|
|
|
|
|
else
|
|
|
|
|
_msg "${INF}Skipped authorizing build farm public keys"
|
2021-05-05 02:25:34 +00:00
|
|
|
|
fi
|
2018-01-28 21:14:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
2019-12-28 07:03:52 +00:00
|
|
|
|
sys_create_init_profile()
|
2021-05-04 21:05:43 +00:00
|
|
|
|
{ # Define for better desktop integration
|
2020-07-15 19:24:15 +00:00
|
|
|
|
# This will not take effect until the next shell or desktop session!
|
2020-01-21 06:49:10 +00:00
|
|
|
|
[ -d "/etc/profile.d" ] || mkdir /etc/profile.d # Just in case
|
2021-12-30 08:39:31 +00:00
|
|
|
|
cat <<"EOF" > /etc/profile.d/zzz-guix.sh
|
2022-07-04 02:35:02 +00:00
|
|
|
|
# Explicitly initialize XDG base directory variables to ease compatibility
|
|
|
|
|
# with Guix System: see <https://issues.guix.gnu.org/56050#3>.
|
|
|
|
|
export XDG_DATA_HOME="${XDG_DATA_HOME:-$HOME/.local/share}"
|
|
|
|
|
export XDG_CONFIG_HOME="${XDG_CONFIG_HOME:-$HOME/.config}"
|
|
|
|
|
export XDG_STATE_HOME="${XDG_STATE_HOME:-$HOME/.local/state}"
|
|
|
|
|
export XDG_DATA_DIRS="${XDG_DATA_DIRS:-/usr/local/share/:/usr/share/}"
|
|
|
|
|
export XDG_CONFIG_DIRS="${XDG_CONFIG_DIRS:-/etc/xdg}"
|
|
|
|
|
export XDG_CACHE_HOME="${XDG_CACHE_HOME:-$HOME/.cache}"
|
|
|
|
|
# no default for XDG_RUNTIME_DIR (depends on foreign distro for semantics)
|
|
|
|
|
|
2019-12-28 07:03:52 +00:00
|
|
|
|
# _GUIX_PROFILE: `guix pull` profile
|
|
|
|
|
_GUIX_PROFILE="$HOME/.config/guix/current"
|
2021-01-01 17:26:51 +00:00
|
|
|
|
export PATH="$_GUIX_PROFILE/bin${PATH:+:}$PATH"
|
|
|
|
|
# Export INFOPATH so that the updated info pages can be found
|
|
|
|
|
# and read by both /usr/bin/info and/or $GUIX_PROFILE/bin/info
|
|
|
|
|
# When INFOPATH is unset, add a trailing colon so that Emacs
|
|
|
|
|
# searches 'Info-default-directory-list'.
|
|
|
|
|
export INFOPATH="$_GUIX_PROFILE/share/info:$INFOPATH"
|
2019-12-28 07:03:52 +00:00
|
|
|
|
|
2023-01-13 10:09:02 +00:00
|
|
|
|
# GUIX_PROFILE: User's default profile and home profile
|
|
|
|
|
GUIX_PROFILE="$HOME/.guix-profile"
|
|
|
|
|
[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile"
|
|
|
|
|
[ -L "$GUIX_PROFILE" ] || \
|
|
|
|
|
GUIX_LOCPATH="$GUIX_PROFILE/lib/locale:${GUIX_LOCPATH:+:}$GUIX_LOCPATH"
|
|
|
|
|
|
2022-07-04 02:35:03 +00:00
|
|
|
|
GUIX_PROFILE="$HOME/.guix-home/profile"
|
2023-01-13 10:09:02 +00:00
|
|
|
|
[ -f "$GUIX_PROFILE/etc/profile" ] && . "$GUIX_PROFILE/etc/profile"
|
|
|
|
|
[ -L "$GUIX_PROFILE" ] || \
|
|
|
|
|
GUIX_LOCPATH="$GUIX_PROFILE/lib/locale:${GUIX_LOCPATH:+:}$GUIX_LOCPATH"
|
|
|
|
|
|
2021-05-24 15:26:52 +00:00
|
|
|
|
export GUIX_LOCPATH
|
2019-12-28 07:03:52 +00:00
|
|
|
|
|
2024-01-16 08:22:08 +00:00
|
|
|
|
# Make Guix modules available
|
|
|
|
|
export GUILE_LOAD_PATH="$_GUIX_PROFILE/share/guile/site/3.0${GUILE_LOAD_PATH:+:}$GUILE_LOAD_PATH"
|
|
|
|
|
export GUILE_LOAD_COMPILED_PATH="$_GUIX_PROFILE/lib/guile/3.0/site-ccache${GUILE_LOAD_COMPILED_PATH:+:}$GUILE_LOAD_COMPILED_PATH"
|
|
|
|
|
|
2019-12-28 07:03:52 +00:00
|
|
|
|
EOF
|
|
|
|
|
}
|
|
|
|
|
|
2020-10-13 17:12:04 +00:00
|
|
|
|
sys_create_shell_completion()
|
|
|
|
|
{ # Symlink supported shell completions system-wide
|
|
|
|
|
|
|
|
|
|
var_guix=/var/guix/profiles/per-user/root/current-guix
|
|
|
|
|
bash_completion=/etc/bash_completion.d
|
|
|
|
|
zsh_completion=/usr/share/zsh/site-functions
|
|
|
|
|
fish_completion=/usr/share/fish/vendor_completions.d
|
|
|
|
|
|
|
|
|
|
{ # Just in case
|
|
|
|
|
for dir_shell in $bash_completion $zsh_completion $fish_completion; do
|
|
|
|
|
[ -d "$dir_shell" ] || mkdir -p $dir_shell
|
|
|
|
|
done;
|
|
|
|
|
|
|
|
|
|
ln -sf ${var_guix}/etc/bash_completion.d/* "$bash_completion";
|
|
|
|
|
ln -sf ${var_guix}/share/zsh/site-functions/* "$zsh_completion";
|
|
|
|
|
ln -sf ${var_guix}/share/fish/vendor_completions.d/* "$fish_completion"; } &&
|
|
|
|
|
_msg "${PAS}installed shell completion"
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-07 03:00:46 +00:00
|
|
|
|
sys_customize_bashrc()
|
|
|
|
|
{
|
2023-07-16 00:00:00 +00:00
|
|
|
|
prompt_yes_no "Customize users Bash shell prompt for Guix?" || return 0
|
|
|
|
|
|
2022-10-07 03:00:46 +00:00
|
|
|
|
for bashrc in /home/*/.bashrc /root/.bashrc; do
|
|
|
|
|
test -f "$bashrc" || continue
|
|
|
|
|
grep -Fq '$GUIX_ENVIRONMENT' "$bashrc" && continue
|
|
|
|
|
cp "${bashrc}" "${bashrc}.bak"
|
|
|
|
|
echo '
|
|
|
|
|
# Automatically added by the Guix install script.
|
|
|
|
|
if [ -n "$GUIX_ENVIRONMENT" ]; then
|
|
|
|
|
if [[ $PS1 =~ (.*)"\\$" ]]; then
|
|
|
|
|
PS1="${BASH_REMATCH[1]} [env]\\\$ "
|
|
|
|
|
fi
|
|
|
|
|
fi
|
|
|
|
|
' >> "$bashrc"
|
|
|
|
|
done
|
|
|
|
|
_msg "${PAS}Bash shell prompt successfully customized for Guix"
|
|
|
|
|
}
|
2020-10-13 17:12:04 +00:00
|
|
|
|
|
2023-05-25 09:41:23 +00:00
|
|
|
|
sys_maybe_setup_selinux()
|
|
|
|
|
{
|
2023-07-16 00:00:01 +00:00
|
|
|
|
if ! [ -f /sys/fs/selinux/policy ]
|
2023-05-25 09:41:23 +00:00
|
|
|
|
then
|
2023-07-16 00:00:01 +00:00
|
|
|
|
return
|
2023-05-25 09:41:23 +00:00
|
|
|
|
fi
|
2023-07-16 00:00:01 +00:00
|
|
|
|
|
|
|
|
|
local c
|
|
|
|
|
for c in semodule restorecon
|
|
|
|
|
do
|
|
|
|
|
if ! command -v "$c" &>/dev/null
|
|
|
|
|
then
|
|
|
|
|
return
|
|
|
|
|
fi
|
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
prompt_yes_no "Install SELinux policy that might be required to run guix-daemon?" \
|
2023-07-16 00:00:00 +00:00
|
|
|
|
|| return 0
|
2023-07-16 00:00:01 +00:00
|
|
|
|
|
|
|
|
|
local var_guix=/var/guix/profiles/per-user/root/current-guix
|
|
|
|
|
semodule -i "${var_guix}/share/selinux/guix-daemon.cil"
|
|
|
|
|
restorecon -R /gnu /var/guix
|
2023-05-25 09:41:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
2024-04-05 12:04:23 +00:00
|
|
|
|
sys_delete_init_profile()
|
|
|
|
|
{
|
|
|
|
|
_msg "${INF}removing /etc/profile.d/guix.sh"
|
|
|
|
|
rm -f /etc/profile.d/guix.sh
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
sys_delete_user_profiles()
|
|
|
|
|
{
|
|
|
|
|
_msg "${INF}removing ${ROOT_HOME}/.guix-profile"
|
|
|
|
|
rm -f ${ROOT_HOME}/.guix-profile
|
|
|
|
|
rm -rf ${ROOT_HOME}/.cache/guix
|
|
|
|
|
|
|
|
|
|
_msg "${INF}removing .guix-profile, .cache/guix and .config/guix of all /home users"
|
|
|
|
|
for user in `ls -1 /home`; do
|
|
|
|
|
rm -f /home/$user/.guix-profile
|
|
|
|
|
rm -rf /home/$user/.cache/guix
|
|
|
|
|
rm -rf /home/$user/.config/guix
|
|
|
|
|
done
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
welcome()
|
|
|
|
|
{
|
2024-04-05 12:04:23 +00:00
|
|
|
|
local uninstall_flag="$1"
|
2022-10-16 00:00:00 +00:00
|
|
|
|
local char
|
2018-01-28 21:14:23 +00:00
|
|
|
|
cat<<"EOF"
|
|
|
|
|
░░░ ░░░
|
|
|
|
|
░░▒▒░░░░░░░░░ ░░░░░░░░░▒▒░░
|
|
|
|
|
░░▒▒▒▒▒░░░░░░░ ░░░░░░░▒▒▒▒▒░
|
|
|
|
|
░▒▒▒░░▒▒▒▒▒ ░░░░░░░▒▒░
|
|
|
|
|
░▒▒▒▒░ ░░░░░░
|
|
|
|
|
▒▒▒▒▒ ░░░░░░
|
|
|
|
|
▒▒▒▒▒ ░░░░░
|
|
|
|
|
░▒▒▒▒▒ ░░░░░
|
|
|
|
|
▒▒▒▒▒ ░░░░░
|
|
|
|
|
▒▒▒▒▒ ░░░░░
|
|
|
|
|
░▒▒▒▒▒░░░░░
|
|
|
|
|
▒▒▒▒▒▒░░░
|
|
|
|
|
▒▒▒▒▒▒░
|
|
|
|
|
_____ _ _ _ _ _____ _
|
|
|
|
|
/ ____| \ | | | | | / ____| (_)
|
|
|
|
|
| | __| \| | | | | | | __ _ _ ___ __
|
|
|
|
|
| | |_ | . ' | | | | | | |_ | | | | \ \/ /
|
|
|
|
|
| |__| | |\ | |__| | | |__| | |_| | |> <
|
|
|
|
|
\_____|_| \_|\____/ \_____|\__,_|_/_/\_\
|
|
|
|
|
|
|
|
|
|
https://www.gnu.org/software/guix/
|
|
|
|
|
EOF
|
2024-04-05 12:04:23 +00:00
|
|
|
|
|
|
|
|
|
if [ '--uninstall' = "$uninstall_flag" ]; then
|
|
|
|
|
echo "${WARN}This script will uninstall GNU Guix from your system"
|
|
|
|
|
echo "To install, run this script with no parameters."
|
|
|
|
|
else
|
|
|
|
|
echo "This script installs GNU Guix on your system"
|
|
|
|
|
echo "To uninstall, pass in the '--uninstall' parameter."
|
|
|
|
|
fi
|
|
|
|
|
|
2022-10-16 00:00:00 +00:00
|
|
|
|
# Don't use ‘read -p’ here! It won't display when run non-interactively.
|
|
|
|
|
echo -n "Press return to continue..."$'\r'
|
2022-12-11 00:00:00 +00:00
|
|
|
|
if ! read -r char; then
|
|
|
|
|
echo
|
|
|
|
|
die "Can't read standard input. Hint: don't pipe scripts into a shell."
|
|
|
|
|
fi
|
2022-10-16 00:00:00 +00:00
|
|
|
|
if [ "$char" ]; then
|
|
|
|
|
echo
|
|
|
|
|
echo "...that ($char) was not a return!"
|
|
|
|
|
_msg "${WAR}Use newlines to automate installation, e.g.: yes '' | ${0##*/}"
|
|
|
|
|
_msg "${WAR}Any other method is unsupported and likely to break in future."
|
|
|
|
|
fi
|
2018-01-28 21:14:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
2024-04-05 12:04:23 +00:00
|
|
|
|
main_install()
|
2018-01-28 21:14:23 +00:00
|
|
|
|
{
|
|
|
|
|
local tmp_path
|
|
|
|
|
welcome
|
|
|
|
|
|
|
|
|
|
_msg "Starting installation ($(date))"
|
|
|
|
|
|
|
|
|
|
chk_term
|
2019-07-08 15:32:53 +00:00
|
|
|
|
chk_require "${REQUIRE[@]}"
|
2019-07-08 16:04:30 +00:00
|
|
|
|
chk_gpg_keyring
|
2018-01-28 21:14:23 +00:00
|
|
|
|
chk_init_sys
|
|
|
|
|
chk_sys_arch
|
2020-10-13 17:12:03 +00:00
|
|
|
|
chk_sys_nscd
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
_msg "${INF}system is ${ARCH_OS}"
|
|
|
|
|
|
2019-12-04 02:42:28 +00:00
|
|
|
|
umask 0022
|
2022-11-16 21:23:15 +00:00
|
|
|
|
tmp_path="$(mktemp -t -d guix.XXXXXX)"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-04-24 13:59:54 +00:00
|
|
|
|
if [ -z "${GUIX_BINARY_FILE_NAME}" ]; then
|
|
|
|
|
guix_get_bin_list "${GNU_URL}"
|
|
|
|
|
guix_get_bin "${GNU_URL}" "${BIN_VER}" "$tmp_path"
|
|
|
|
|
GUIX_BINARY_FILE_NAME=${BIN_VER}.tar.xz
|
|
|
|
|
else
|
|
|
|
|
if ! [[ $GUIX_BINARY_FILE_NAME =~ $ARCH_OS ]]; then
|
|
|
|
|
_err "$ARCH_OS not in ${GUIX_BINARY_FILE_NAME}; aborting"
|
|
|
|
|
fi
|
2021-05-04 21:05:43 +00:00
|
|
|
|
_msg "${INF}Using manually provided binary ${GUIX_BINARY_FILE_NAME}"
|
2021-05-01 04:27:14 +00:00
|
|
|
|
GUIX_BINARY_FILE_NAME=$(realpath "$GUIX_BINARY_FILE_NAME")
|
2021-04-24 13:59:54 +00:00
|
|
|
|
fi
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
2021-04-24 13:59:54 +00:00
|
|
|
|
sys_create_store "${GUIX_BINARY_FILE_NAME}" "${tmp_path}"
|
2018-01-28 21:14:23 +00:00
|
|
|
|
sys_create_build_user
|
2023-05-25 09:41:23 +00:00
|
|
|
|
sys_maybe_setup_selinux
|
2018-01-28 21:14:23 +00:00
|
|
|
|
sys_enable_guix_daemon
|
|
|
|
|
sys_authorize_build_farms
|
2019-12-28 07:03:52 +00:00
|
|
|
|
sys_create_init_profile
|
2020-10-13 17:12:04 +00:00
|
|
|
|
sys_create_shell_completion
|
2022-10-07 03:00:46 +00:00
|
|
|
|
sys_customize_bashrc
|
2018-01-28 21:14:23 +00:00
|
|
|
|
|
|
|
|
|
_msg "${INF}cleaning up ${tmp_path}"
|
|
|
|
|
rm -r "${tmp_path}"
|
|
|
|
|
|
|
|
|
|
_msg "${PAS}Guix has successfully been installed!"
|
|
|
|
|
_msg "${INF}Run 'info guix' to read the manual."
|
2020-07-15 19:24:15 +00:00
|
|
|
|
|
|
|
|
|
# Required to source /etc/profile in desktop environments.
|
|
|
|
|
_msg "${INF}Please log out and back in to complete the installation."
|
2018-01-28 21:14:23 +00:00
|
|
|
|
}
|
|
|
|
|
|
2024-04-05 12:04:23 +00:00
|
|
|
|
main_uninstall()
|
|
|
|
|
{
|
|
|
|
|
welcome --uninstall
|
|
|
|
|
_msg "Starting uninstall process ($(date))"
|
|
|
|
|
|
|
|
|
|
chk_term
|
|
|
|
|
chk_require "${REQUIRE[@]}"
|
|
|
|
|
# it's ok to leave the gpg key
|
|
|
|
|
chk_init_sys
|
|
|
|
|
chk_sys_arch
|
|
|
|
|
|
|
|
|
|
_msg "${INF}system is ${ARCH_OS}"
|
|
|
|
|
|
|
|
|
|
# stop the build, package system.
|
|
|
|
|
sys_delete_guix_daemon
|
|
|
|
|
# stop people from accessing their profiles.
|
|
|
|
|
sys_delete_user_profiles
|
|
|
|
|
# kill guix off all the guts of guix
|
|
|
|
|
sys_delete_store
|
|
|
|
|
# clean up the system
|
|
|
|
|
sys_delete_init_profile
|
|
|
|
|
sys_delete_build_user
|
|
|
|
|
|
|
|
|
|
# these directories are created on the fly during usage.
|
|
|
|
|
_msg "${INF}removing /etc/guix"
|
|
|
|
|
rm -rf /etc/guix
|
|
|
|
|
_msg "${INF}removing /var/log/guix"
|
|
|
|
|
rm -rf /var/log/guix
|
|
|
|
|
|
|
|
|
|
_msg "${PAS}Guix has successfully been uninstalled!"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
main()
|
|
|
|
|
{
|
|
|
|
|
# expect no parameters
|
|
|
|
|
# or '--uninstall'
|
|
|
|
|
if [ 0 -eq $# ]; then
|
|
|
|
|
main_install
|
|
|
|
|
else
|
|
|
|
|
local uninstall_flag="$1"
|
|
|
|
|
if [ '--uninstall' = "${uninstall_flag}" ]; then
|
|
|
|
|
main_uninstall
|
|
|
|
|
else
|
|
|
|
|
echo "unsupported parameters: $@"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-28 21:14:23 +00:00
|
|
|
|
main "$@"
|