diff options
| author | Amin Bandali <bandali@gnu.org> | 2020-04-08 21:18:59 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2020-04-08 21:19:30 -0400 |
| commit | f02a170c9db65c66bfa2be6067c0628cae0e3ccd (patch) | |
| tree | 57434d21b37e8044f6315956ecf521736c0baae5 /data | |
| parent | cc20957d47ce94ffb951a2b5bda9038cf5cb5d5e (diff) | |
Ignore output/ and remove nonexistent extension id.
Diffstat (limited to 'data')
| -rw-r--r-- | data/update-extensions.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/update-extensions.sh b/data/update-extensions.sh index cb0257e..6433432 100644 --- 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 |