Improved Webgrep (#192)

This commit is contained in:
Alex 2022-03-01 10:26:29 +01:00 committed by GitHub
parent 8826553ec1
commit 017cdfbb8f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 1 deletions

View file

@ -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

3
webgrep/uninstall Normal file
View file

@ -0,0 +1,3 @@
#!/bin/bash -ex
ctf-tools-pip3 uninstall -y webgrep-tool || true