You are not logged in.
Monodevelop doesn't start because there's a Mozilla variable that's unset for gecko-sharp
add to the gecko-sharp PKGBUILD file
install -D -m755 ../geckosharp.sh $startdir/pkg/etc/profile.d/geckosharp.sh*remember adding to source and md5sum as well
geckosharp.sh being:
export MOZILLA_FIVE_HOME=/opt/mozillaAlso the mono PKGBUILD needs to replace
--with-nptl=no with --with-tls=pthread
due to --with-nptl being deprecated
when we get nptl glibc by default that needs to be --with-tls=__thread
I'm proud to be a a freedomloving infidel piece of treehugging eurotrash.
Offline
Shouldn't the MOZILLA_FIVE_HOME be set by mozilla or whatever gecko based browser you have installed?
I have discovered that all of mans unhappiness derives from only one source, not being able to sit quietly in a room
- Blaise Pascal
Offline
Shouldn't the MOZILLA_FIVE_HOME be set by mozilla or whatever gecko based browser you have installed?
I was thinking that as well, but Mozilla doesn't appear to need that variable, only gecko-sharp needs it set as far as I can tell.. at least everything ran before I set it, except MonoDevelop (well gecko-sharp really)
But as long as it actually gets set I would be happy, and I agree for correctness it should probably be the Mozilla package that sets it.
I'm proud to be a a freedomloving infidel piece of treehugging eurotrash.
Offline
ppllzz ppuutt aann eecchhoo ""sseett yyoouurr $$BBRROOWWSSEERR ttoo tthhee mmoozziillllaa ppaatthh oorr sstthh""
Offline
Checking the /opt/mozilla/bin/mozilla script, it would have side effects. Maybe not important ones, but side effects all the same:
# honor MOZILLA_FIVE_HOME if it's there
if [ -n "$MOZILLA_FIVE_HOME" ] ; then
dist_bin="$MOZILLA_FIVE_HOME"
else
...
I have discovered that all of mans unhappiness derives from only one source, not being able to sit quietly in a room
- Blaise Pascal
Offline
Checking the /opt/mozilla/bin/mozilla script, it would have side effects. Maybe not important ones, but side effects all the same:
# honor MOZILLA_FIVE_HOME if it's there
if [ -n "$MOZILLA_FIVE_HOME" ] ; then
dist_bin="$MOZILLA_FIVE_HOME"
else
...
just setting it to point the correct place once and for all can't be all that harmful I think.. either way without a correctly set MOZILLA_FIVE_HOME MonoDevelop doesn't start, which is unacceptable.
People who are smarter than me tell me that we should point it to ~/.mozilla instead though, since user can't write to /opt/mozilla/.
I'm proud to be a a freedomloving infidel piece of treehugging eurotrash.
Offline
Well, I was worried more for mozilla-firefox's sake, but it looks like MOZILLA_FIVE_HOME doesn't affect mozilla-firefox in the same way.
I have discovered that all of mans unhappiness derives from only one source, not being able to sit quietly in a room
- Blaise Pascal
Offline