dusk/ark
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

shell: fix #131

Browse Source
This commit is contained in:
Timothy DeHerrera 2021-02-19 16:25:28 -07:00
parent 2cb1ec6081
commit 4e95e1ee72
No known key found for this signature in database
GPG Key ID: 8985725DB5B0C122
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
shell/flk.sh
View File

@ -1,3 +1,5 @@
#!/usr/bin/env bash
[[ -d "$DEVSHELL_ROOT" ]] || [[ -d "$DEVSHELL_ROOT" ]] ||
{ {
echo "This script must be run from devos's devshell" >&2 echo "This script must be run from devos's devshell" >&2