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>
27 lines
682 B
Bash
Executable File
27 lines
682 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# -----------------------------------------------------------------------------
|
|
# Description:
|
|
# Print operating system information and hint which installer path will run.
|
|
#
|
|
|
|
log_info "Environment: DOTS_OS=$DOTS_OS, DOTS_PKG=$DOTS_PKG, DOTS_ENV=$DOTS_ENV"
|
|
|
|
if [[ "$DOTS_OS" == "macos" ]]; then
|
|
sw_vers
|
|
elif [[ "$DOTS_OS" == "linux" ]]; then
|
|
if [[ -r /etc/os-release ]]; then
|
|
cat /etc/os-release
|
|
fi
|
|
|
|
if [[ -z "$DOTS_PKG" ]]; then
|
|
log_warn "No known package manager found on Linux"
|
|
fi
|
|
else
|
|
log_error "Unknown OS: $DOTS_OS"
|
|
fi
|
|
|
|
if [[ "$DOTS_ENV" == "codespaces" ]]; then
|
|
log_info "Running in GitHub Codespaces"
|
|
fi
|