diff options
Diffstat (limited to 'bin/activate-profiles')
| -rwxr-xr-x | bin/activate-profiles | 39 |
1 files changed, 0 insertions, 39 deletions
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 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | # Source: https://github.com/daviwil/dotfiles/blob/master/Systems.org#profile-management | ||
| 3 | |||
| 4 | GREEN='\033[1;32m' | ||
| 5 | RED='\033[1;30m' | ||
| 6 | NC='\033[0m' | ||
| 7 | GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles | ||
| 8 | |||
| 9 | profiles=$* | ||
| 10 | if [[ $# -eq 0 ]]; then | ||
| 11 | profiles="$HOME/.config/guix/manifests/*.scm"; | ||
| 12 | fi | ||
| 13 | |||
| 14 | for profile in $profiles; do | ||
| 15 | # Remove the path and file extension, if any | ||
| 16 | profileName=$(basename $profile) | ||
| 17 | profileName="${profileName%.*}" | ||
| 18 | profilePath="$GUIX_EXTRA_PROFILES/$profileName" | ||
| 19 | manifestPath=$HOME/.config/guix/manifests/$profileName.scm | ||
| 20 | |||
| 21 | if [ -f $manifestPath ]; then | ||
| 22 | echo | ||
| 23 | echo -e "${GREEN}Activating profile:" $manifestPath "${NC}" | ||
| 24 | echo | ||
| 25 | |||
| 26 | mkdir -p $profilePath | ||
| 27 | guix package --manifest=$manifestPath --profile="$profilePath/$profileName" | ||
| 28 | |||
| 29 | # Source the new profile | ||
| 30 | GUIX_PROFILE="$profilePath/$profileName" | ||
| 31 | if [ -f $GUIX_PROFILE/etc/profile ]; then | ||
| 32 | . "$GUIX_PROFILE"/etc/profile | ||
| 33 | else | ||
| 34 | echo -e "${RED}Couldn't find profile:" $GUIX_PROFILE/etc/profile "${NC}" | ||
| 35 | fi | ||
| 36 | else | ||
| 37 | echo "No profile found at path" $profilePath | ||
| 38 | fi | ||
| 39 | done | ||
