[25414] in Athena Bugs
mozilla plugin path overrides?
daemon@ATHENA.MIT.EDU (John Hawkinson)
Sat Jan 10 18:43:02 2004
Date: Sat, 10 Jan 2004 18:42:22 -0500 (EST)
Message-Id: <200401102342.i0ANgMDh016888@coleco-sidewinder.mit.edu>
To: bugs@mit.edu
From: John Hawkinson <jhawk@mit.edu>
Errors-To: bugs-bounces@mit.edu
For some time I've been frustrated by an inability to figure out how
to disable flash under Mozilla.
Digging around, it seems the most straightforward to remove the
plugin from the plugin list. But the mozilla wrapper script unconditionally
adds /mit/infoagents/arch/@sys/lib/mozilla/plugins to the plugin path,
which makes this difficult.
(Incidently, why are the mozilla plugins still in AFS? Are there not
performance issues?)
Since the mozilla wrapper script already lets you do some environment
overrides, I propose allowing MOZ_PLUGIN_PATH to be overriden -- that
is, to not modify it instead of unconditionally appending. This is
how MOZILLA_FIVE_HOME is handled.
I doubt there are many people who set MOZ_PLUGIN_PATH and expect it to
be appeneded to, so I doubt many would suffer.
Howsabout it?
--jhawk
p.s.: Arguably it's better to have all the plugins symlinked from
$HOME/.mozilla/plugins (though an @sys indirection, I guess), so
that users can decide which plugins they want all by themselves,
instead of being forced to accept the system plugins. I guess that
might make it more awkward to add a new plugin systemwide, though,
but it could be handled.
*** mozilla 2004/01/10 23:32:23 1.1
--- mozilla 2004/01/10 23:34:59
***************
*** 54,62 ****
# The Java plugin is in the locally-installed JRE package, and its
# directory is set above; others (besides the default "null" plugin)
# live in infoagents.
! plugin_path=$java_plugin_dir:/mit/infoagents/arch/@sys/lib/mozilla/plugins
! MOZ_PLUGIN_PATH=${MOZ_PLUGIN_PATH:+"$MOZ_PLUGIN_PATH:"}$plugin_path
! export MOZ_PLUGIN_PATH
# Prompt the user on how to deal with an existing lock file when no
# running Mozilla window can be found, and take action accordingly.
--- 54,64 ----
# The Java plugin is in the locally-installed JRE package, and its
# directory is set above; others (besides the default "null" plugin)
# live in infoagents.
! if [ -z "$MOZ_PLUGIN_PATH" ]; then
! plugin_path=$java_plugin_dir:/mit/infoagents/arch/@sys/lib/mozilla/plugins
! MOZ_PLUGIN_PATH=$plugin_path
! export MOZ_PLUGIN_PATH
! fi
# Prompt the user on how to deal with an existing lock file when no
# running Mozilla window can be found, and take action accordingly.
