chore: use hermit to install node, rust and protoc (#2766)

This commit is contained in:
Lifei Zhou 2025-06-04 09:45:43 +10:00 committed by GitHub
parent 5574c20ff2
commit d1f9d4a31e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
36 changed files with 170 additions and 82 deletions

21
bin/activate-hermit Executable file
View file

@ -0,0 +1,21 @@
#!/bin/bash
# This file must be used with "source bin/activate-hermit" from bash or zsh.
# You cannot run it directly
#
# THIS FILE IS GENERATED; DO NOT MODIFY
if [ "${BASH_SOURCE-}" = "$0" ]; then
echo "You must source this script: \$ source $0" >&2
exit 33
fi
BIN_DIR="$(dirname "${BASH_SOURCE[0]:-${(%):-%x}}")"
if "${BIN_DIR}/hermit" noop > /dev/null; then
eval "$("${BIN_DIR}/hermit" activate "${BIN_DIR}/..")"
if [ -n "${BASH-}" ] || [ -n "${ZSH_VERSION-}" ]; then
hash -r 2>/dev/null
fi
echo "Hermit environment $("${HERMIT_ENV}"/bin/hermit env HERMIT_ENV) activated"
fi