more plugins disabled, as they're going to be hard to fix with the recent changes
also fix missing category from players-resonators dummy deleted plugin
This commit is contained in:
21
plugins/broken/make-dummy-deleted-plugin
Executable file
21
plugins/broken/make-dummy-deleted-plugin
Executable file
@ -0,0 +1,21 @@
|
||||
#!/bin/bash
|
||||
|
||||
|
||||
if test -d ../broken
|
||||
then
|
||||
|
||||
for a in *.js
|
||||
do
|
||||
if test -f ../$a
|
||||
then
|
||||
true
|
||||
# echo $a already exists in ..
|
||||
else
|
||||
echo creating 'deleted' plugin from header of $a
|
||||
|
||||
sed -n -e 's/\@category.*/\@category Deleted/' -e 's/\@description .*/\@description PLUGIN CURRENTLY UNAVAILABLE/' -e 'p' -e '/\/UserScript/q' $a > ../$a
|
||||
fi
|
||||
done
|
||||
else
|
||||
echo error: wrong directory - must be run in plugins/broken
|
||||
fi
|
Reference in New Issue
Block a user