diff options
| author | Egor Tensin <egor@tensin.name> | 2026-10-25 14:29:16 +0300 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-10-25 14:29:16 +0300 |
| commit | 518ff551d8ff7c1e7b1dcd288a2c0ed8d013cc1c (patch) | |
| tree | 1641f248aa406a199f6c90b8c1a3fd881268ffcf /scripts/alacritty.sh | |
| parent | move desktop environment configs to infra-metal (diff) | |
| download | linux-home-518ff551d8ff7c1e7b1dcd288a2c0ed8d013cc1c.tar.gz linux-home-518ff551d8ff7c1e7b1dcd288a2c0ed8d013cc1c.zip | |
Diffstat (limited to 'scripts/alacritty.sh')
| -rwxr-xr-x | scripts/alacritty.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/scripts/alacritty.sh b/scripts/alacritty.sh deleted file mode 100755 index 56d47f6..0000000 --- a/scripts/alacritty.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail -shopt -s inherit_errexit 2> /dev/null || true -shopt -s lastpipe - -config_dir="$HOME/.config/alacritty" -readonly config_dir - -pull() { - local themes_dir - themes_dir="$config_dir/themes" - local themes_url='https://github.com/alacritty/alacritty-theme.git' - - if [ -d "$themes_dir" ]; then - echo "Updating themes for alacritty" - git -C "$themes_dir" pull - else - echo "Installing themes for alacritty" - git clone -q "$themes_url" "$themes_dir" - fi -} - -main() { - mkdir -p -- "$config_dir" - pull -} - -main |
