From e43f3c403ff49e87641bb6c745080760f272446f Mon Sep 17 00:00:00 2001 From: jdlugosz963 Date: Sat, 15 Oct 2022 14:03:46 +0200 Subject: Update dotfiles --- bin/activate-profiles | 39 --------------------------------------- 1 file changed, 39 deletions(-) delete mode 100755 bin/activate-profiles (limited to 'bin/activate-profiles') diff --git a/bin/activate-profiles b/bin/activate-profiles deleted file mode 100755 index a4373cf..0000000 --- a/bin/activate-profiles +++ /dev/null @@ -1,39 +0,0 @@ -#!/bin/sh -# Source: https://github.com/daviwil/dotfiles/blob/master/Systems.org#profile-management - -GREEN='\033[1;32m' -RED='\033[1;30m' -NC='\033[0m' -GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles - -profiles=$* -if [[ $# -eq 0 ]]; then - profiles="$HOME/.config/guix/manifests/*.scm"; -fi - -for profile in $profiles; do - # Remove the path and file extension, if any - profileName=$(basename $profile) - profileName="${profileName%.*}" - profilePath="$GUIX_EXTRA_PROFILES/$profileName" - manifestPath=$HOME/.config/guix/manifests/$profileName.scm - - if [ -f $manifestPath ]; then - echo - echo -e "${GREEN}Activating profile:" $manifestPath "${NC}" - echo - - mkdir -p $profilePath - guix package --manifest=$manifestPath --profile="$profilePath/$profileName" - - # Source the new profile - GUIX_PROFILE="$profilePath/$profileName" - if [ -f $GUIX_PROFILE/etc/profile ]; then - . "$GUIX_PROFILE"/etc/profile - else - echo -e "${RED}Couldn't find profile:" $GUIX_PROFILE/etc/profile "${NC}" - fi - else - echo "No profile found at path" $profilePath - fi -done -- cgit v1.2.3