-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Use `git rev-parse` for `cd` to repo root instead of being relative to script path - Add shebang to scripts where possible, and add shellcheck shell directive to nix-shell scripts - Remove nix-format.sh due to treefmt (to be provided by `nix fmt`) respecting exclude lists
- Loading branch information
1 parent
2c67e40
commit bc20978
Showing
8 changed files
with
66 additions
and
74 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,11 +1,13 @@ | ||
#! /usr/bin/env bash | ||
# use nix direnv to make evaluation faster | ||
if ! has nix_direnv_version || ! nix_direnv_version 3.0.5; then | ||
source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/3.0.5/direnvrc" "sha256-RuwIS+QKFj/T9M2TFXScjBsLR6V3A17YVoEW/Q6AZ1w=" &>/dev/null | ||
source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/3.0.5/direnvrc" "sha256-RuwIS+QKFj/T9M2TFXScjBsLR6V3A17YVoEW/Q6AZ1w=" &>/dev/null | ||
fi | ||
|
||
use flake | ||
# print out autocomplete instructions | ||
echo -------------------- | ||
echo "Run this command to set up autocomplete in your shell:" | ||
echo "eval \"\$(mk-workspace-shell-setup)\"" | ||
# shellcheck disable=SC2016 | ||
echo 'eval "$(mk-workspace-shell-setup)"' | ||
echo -------------------- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,3 @@ | ||
#!/usr/bin/env bash | ||
# source file this to set up autocomplete | ||
eval "$(mk-workspace-shell-setup)" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,14 +1,13 @@ | ||
#! /usr/bin/env bash | ||
|
||
set -e | ||
|
||
shopt -s globstar # Enable globstar for recursive globbing | ||
SCRIPT_DIR="$(dirname "$(readlink -f $0)")" | ||
PROJECT_ROOT="$SCRIPT_DIR/../.." | ||
cd $PROJECT_ROOT | ||
|
||
rm -rf "$PROJECT_ROOT"/**/result | ||
rm -rf "$PROJECT_ROOT"/**/build | ||
rm -rf "$PROJECT_ROOT"/**/log | ||
rm -rf "$PROJECT_ROOT"/**/install | ||
rm -rf "$PROJECT_ROOT"/**/generated | ||
# cd to the repo root | ||
cd "$(git rev-parse --show-toplevel)" | ||
|
||
rm -rf ./**/result | ||
rm -rf ./**/build | ||
rm -rf ./**/log | ||
rm -rf ./**/install | ||
rm -rf ./**/generated |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters