From e43f3c403ff49e87641bb6c745080760f272446f Mon Sep 17 00:00:00 2001 From: jdlugosz963 Date: Sat, 15 Oct 2022 14:03:46 +0200 Subject: Update dotfiles --- bin/update-profiles | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100755 bin/update-profiles (limited to 'bin/update-profiles') diff --git a/bin/update-profiles b/bin/update-profiles deleted file mode 100755 index 81129ec..0000000 --- a/bin/update-profiles +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -# Source: https://github.com/daviwil/dotfiles/blob/master/Systems.org#profile-management - -GREEN='\033[1;32m' -NC='\033[0m' -GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles - -profiles=$* -if [[ $# -eq 0 ]]; then - profiles="$GUIX_EXTRA_PROFILES/*"; -fi - -for profile in $profiles; do - profileName=$(basename $profile) - profilePath=$GUIX_EXTRA_PROFILES/$profileName - - echo - echo -e "${GREEN}Updating profile:" $profilePath "${NC}" - echo - - guix package --profile="$profilePath/$profileName" --manifest="$HOME/.config/guix/manifests/$profileName.scm" -done -- cgit v1.2.3