d872eda9ee
* Initial plan * Consolidate mise tools installation and fix GitHub Copilot CLI package Co-authored-by: andrejusk <7396847+andrejusk@users.noreply.github.com> * Revert copilot package changes and remove --jobs flag from mise install Co-authored-by: andrejusk <7396847+andrejusk@users.noreply.github.com> * fix: permissions * Move GitHub CLI (gh) installation to mise Co-authored-by: andrejusk <7396847+andrejusk@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: andrejusk <7396847+andrejusk@users.noreply.github.com> Co-authored-by: Andrejus <git@andrejus.uk>
35 lines
1.1 KiB
Bash
Executable File
35 lines
1.1 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# -----------------------------------------------------------------------------
|
|
# Description:
|
|
# Install Redis.
|
|
#
|
|
|
|
# Skip in Codespaces (project-specific tool)
|
|
[[ "$DOTS_ENV" == "codespaces" ]] && { log_pass "Skipping in Codespaces"; return 0; }
|
|
|
|
if ! command -v redis-cli &>/dev/null; then
|
|
case "$DOTS_PKG" in
|
|
apt)
|
|
redis_keyring_path="/usr/share/keyrings/redis-archive-keyring.gpg"
|
|
if [[ ! -f "$redis_keyring_path" ]]; then
|
|
curl -fsSL https://packages.redis.io/gpg | sudo gpg --dearmor -o "$redis_keyring_path"
|
|
fi
|
|
echo "deb [signed-by=/usr/share/keyrings/redis-archive-keyring.gpg] https://packages.redis.io/deb $(lsb_release -cs) main" \
|
|
| sudo tee /etc/apt/sources.list.d/redis.list > /dev/null
|
|
sudo apt-get install -qq redis
|
|
;;
|
|
pacman)
|
|
sudo pacman -S --noconfirm redis
|
|
;;
|
|
brew)
|
|
brew install redis
|
|
;;
|
|
*)
|
|
log_warn "Skipping Redis install: no supported package manager found"
|
|
;;
|
|
esac
|
|
fi
|
|
|
|
redis-cli --version
|