All checks were successful
/ check-pre-commit (pull_request) Successful in 10s
/ check-peertube (pull_request) Successful in 18s
/ check-panel (pull_request) Successful in 1m18s
/ check-deployment-basic (pull_request) Successful in 12m20s
/ check-pre-commit (push) Successful in 10s
/ check-peertube (push) Successful in 19s
/ check-panel (push) Successful in 1m26s
/ check-deployment-basic (push) Successful in 4s
10 lines
286 B
Bash
10 lines
286 B
Bash
#!/usr/bin/env bash
|
|
# the shebang is ignored, but nice for editors
|
|
|
|
# shellcheck shell=bash
|
|
if type -P lorri &>/dev/null; then
|
|
eval "$(lorri direnv)"
|
|
else
|
|
echo 'while direnv evaluated .envrc, could not find the command "lorri" [https://github.com/nix-community/lorri]'
|
|
use_nix
|
|
fi
|