#!/bin/sh
''''exec "$(dirname "$0")"/ImageJ.sh --jython "$0" "$@" # (call again with fiji)'''
from java.io import File
from java.lang import System
import sys
from zipfile import ZipFile
if len(sys.argv) < 2:
print 'Usage:', sys.argv[0], '<name>...'
sys.exit(1)
jars = System.getProperty("java.class.path").split(File.pathSeparator)
for name in sys.argv[1:]:
key = '"' + name + '"'
for jar in jars:
try:
config = ZipFile(jar, 'r').read('plugins.config')
if config.find(key) > 0:
print jar, 'contains', key
except:
pass # do nothing
#!/bin/sh
''''exec "$(dirname "$0")"/../fiji --jython "$0" "$@" # (call again with fiji)'''
from java.io import File
from java.lang import System
import sys
from zipfile import ZipFile
if len(sys.argv) < 2:
print 'Usage:', sys.argv[0], '<name>...'
sys.exit(1)
jars = System.getProperty("java.class.path").split(File.pathSeparator)
for name in sys.argv[1:]:
key = '"' + name + '"'
for jar in jars:
try:
config = ZipFile(jar, 'r').read('plugins.config')
if config.find(key) > 0:
print jar, 'contains', key
except:
pass # do nothing
