diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-01 15:19:49 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-01 15:19:49 -0400 |
| commit | 2d40ec3a03f4684f6fabba7dee2981c992a13785 (patch) | |
| tree | 1edc1522fd5eb8e6d20b1b4dbde89f3e49ad9e51 /Biz/Ide/tips.sh | |
| parent | db373a8c727cad91d375b40a6c70b11ed73bdafb (diff) | |
Rename .bash files to .sh
I was already using .sh to refer to shell scripts. When I added .bash, I didn't
realize that the linter was set to act on .sh files and not .bash files, so all
of these bash scripts escaped the linter.
This commit renames them to .sh, removes the .bash extension support from
Biz.Namespace, and fixes all the reported shellcheck errors.
Diffstat (limited to 'Biz/Ide/tips.sh')
| -rwxr-xr-x | Biz/Ide/tips.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Biz/Ide/tips.sh b/Biz/Ide/tips.sh new file mode 100755 index 0000000..895e54e --- /dev/null +++ b/Biz/Ide/tips.sh @@ -0,0 +1,13 @@ +#!/usr/bin/env bash +echo "" +echo "bizdev" | figlet | lolcat +echo "" +echo " bild.sh compile code" +echo " repl.sh start a repl" +echo " deps.sh manage dependencies with niv" +echo " tips.sh show this message" +echo " lint.sh auto-lint all changed files" +echo " push.sh send a namespace to the cloud" +echo " ship.sh lint, bild, and push one (or all) namespace(s)" +echo " tidy.sh cleanup common working files" +echo "" |