diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-06-04 01:13:14 +0200 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-06-04 01:13:22 +0200 |
| commit | 001230249c4746d4fa0624719ec56cbd9dc87c2e (patch) | |
| tree | 15e089575ed4d4510959835ad8abd4b90305c9c2 | |
| parent | bd886555b8459b7d332bb9210c56efd423658b60 (diff) | |
| download | guix-installer-makefile-001230249c4746d4fa0624719ec56cbd9dc87c2e.tar.gz guix-installer-makefile-001230249c4746d4fa0624719ec56cbd9dc87c2e.tar.bz2 guix-installer-makefile-001230249c4746d4fa0624719ec56cbd9dc87c2e.zip | |
Add post-installation script
Once the release is installed we still need to update it and
once done to get rid of the older binaries lying around.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
| -rwxr-xr-x | post-install.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/post-install.sh b/post-install.sh new file mode 100755 index 0000000..9f9dd6c --- /dev/null +++ b/post-install.sh @@ -0,0 +1,19 @@ +#!/bin/sh +# Copyright (C) 2021 Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> +# +# This program 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. +# +# This program 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 this program. If not, see <https://www.gnu.org/licenses/>. + +guix pull +guix gc + |
