commit f02a170c9db65c66bfa2be6067c0628cae0e3ccd parent cc20957d47ce94ffb951a2b5bda9038cf5cb5d5e Author: Amin Bandali <bandali@gnu.org> Date: Wed, 8 Apr 2020 21:18:59 -0400 Ignore output/ and remove nonexistent extension id. Diffstat:
| M | .gitignore | | | 1 | + |
| M | data/update-extensions.sh | | | 2 | +- |
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/.gitignore b/.gitignore @@ -2,3 +2,4 @@ repos jails logs tmp +output/ diff --git a/data/update-extensions.sh b/data/update-extensions.sh @@ -2,7 +2,7 @@ set -e -for extension in librejs https-everywhere librejs-usps-compatibility submit-me librifyjs-libgen-me tortm-browser-button viewtube disable-polymer-youtube; do +for extension in librejs https-everywhere librejs-usps-compatibility submit-me tortm-browser-button viewtube disable-polymer-youtube; do rm -rf /tmp/update-extension mkdir /tmp/update-extension