From 017cdfbb8feededcfd3fc665ab71f2ecad2fface Mon Sep 17 00:00:00 2001 From: Alex Date: Tue, 1 Mar 2022 10:26:29 +0100 Subject: [PATCH] Improved Webgrep (#192) --- webgrep/install | 5 ++++- webgrep/uninstall | 3 +++ 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 webgrep/uninstall diff --git a/webgrep/install b/webgrep/install index 2a52ffd..1b14d29 100755 --- a/webgrep/install +++ b/webgrep/install @@ -1,4 +1,7 @@ #!/bin/bash -ex - ctf-tools-pip3 install --upgrade 'git+https://github.com/dhondta/webgrep.git' + +source ctf-tools-venv-activate3 +mkdir -p bin +ln -s $VIRTUAL_ENV/bin/webgrep bin diff --git a/webgrep/uninstall b/webgrep/uninstall new file mode 100644 index 0000000..bb4b76e --- /dev/null +++ b/webgrep/uninstall @@ -0,0 +1,3 @@ +#!/bin/bash -ex + +ctf-tools-pip3 uninstall -y webgrep-tool || true