diff options
Diffstat (limited to 'tools/Crupest.SecretTool/tools/cru-proxy-edit')
| -rwxr-xr-x | tools/Crupest.SecretTool/tools/cru-proxy-edit | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/Crupest.SecretTool/tools/cru-proxy-edit b/tools/Crupest.SecretTool/tools/cru-proxy-edit deleted file mode 100755 index 51a33e1..0000000 --- a/tools/Crupest.SecretTool/tools/cru-proxy-edit +++ /dev/null @@ -1,12 +0,0 @@ -#! /usr/bin/env bash - -set -e - -p="$HOME/codes/crupest/tools/Crupest.SecretTool/publish/proxy.txt" - -if [[ ! -f "$p" ]]; then - echo "File $p does not exist!" >&2 - exit 1 -fi - -exec vim "$p" |