diff options
| author | jdlugosz963 <jdlugosz963@gmail.com> | 2022-10-15 14:03:46 +0200 |
|---|---|---|
| committer | jdlugosz963 <jdlugosz963@gmail.com> | 2022-10-15 14:03:46 +0200 |
| commit | e43f3c403ff49e87641bb6c745080760f272446f (patch) | |
| tree | c964d54e79c87ec466658e289e10303c861be5cd /bin/update-profiles | |
| parent | e62c8a78ec0b8727d138fbe4144cf718b7da867d (diff) | |
| download | dotfiles-e43f3c403ff49e87641bb6c745080760f272446f.tar.gz dotfiles-e43f3c403ff49e87641bb6c745080760f272446f.zip | |
Update dotfiles
Diffstat (limited to 'bin/update-profiles')
| -rwxr-xr-x | bin/update-profiles | 22 |
1 files changed, 0 insertions, 22 deletions
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 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | # Source: https://github.com/daviwil/dotfiles/blob/master/Systems.org#profile-management | ||
| 3 | |||
| 4 | GREEN='\033[1;32m' | ||
| 5 | NC='\033[0m' | ||
| 6 | GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles | ||
| 7 | |||
| 8 | profiles=$* | ||
| 9 | if [[ $# -eq 0 ]]; then | ||
| 10 | profiles="$GUIX_EXTRA_PROFILES/*"; | ||
| 11 | fi | ||
| 12 | |||
| 13 | for profile in $profiles; do | ||
| 14 | profileName=$(basename $profile) | ||
| 15 | profilePath=$GUIX_EXTRA_PROFILES/$profileName | ||
| 16 | |||
| 17 | echo | ||
| 18 | echo -e "${GREEN}Updating profile:" $profilePath "${NC}" | ||
| 19 | echo | ||
| 20 | |||
| 21 | guix package --profile="$profilePath/$profileName" --manifest="$HOME/.config/guix/manifests/$profileName.scm" | ||
| 22 | done | ||
