Windows (admin shell!): mklink /j <<gmfile>> <<gitfile>>
Unix/Linux: ln -s <<gitfile>> <<gmfile>
-------- Original-Nachricht --------
Betreff: [greasemonkey-users] How to correctly work on a GreaseMonkey script using git?
Von: Phillipe Lucas <[email protected]>
An: [email protected]
Datum: 13.6.2015 15:25:38
Betreff: [greasemonkey-users] How to correctly work on a GreaseMonkey script using git?
Von: Phillipe Lucas <[email protected]>
An: [email protected]
Datum: 13.6.2015 15:25:38
How do you guys manage working on a GreaseMonkey userscript and using git without having to re-install script after each modification or copying all the files before commiting?--
I make reference to the fact that after installing a new script, GreaseMonkey create a new folder inside our Firefox profile, and we can not use an external directory (like the git one) as source. We have to modify the copied gm_script to test and see changes during development, but this means that git will not see the changes as there are two differents folder.
I tried to modify the Greasemonkey config.xml in order to point my script file to the git one, but it fails.
See my stackoverflow thread for a more precise question, please: http://stackoverflow.com/questions/30817814/how-to-correctly-work-on-a-greasemonkey-script-using-git
You received this message because you are subscribed to the Google Groups "greasemonkey-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/greasemonkey-users.
For more options, visit https://groups.google.com/d/optout.
--
"Du wirst da hinein geboren was Du nicht bist, um zu erfahren wer Du wirklich bist!"
_ o Robert H. http://kurzlink.de/Enkidu70 |<)_/# TT <T [email protected]
"Du wirst da hinein geboren was Du nicht bist, um zu erfahren wer Du wirklich bist!"
--
You received this message because you are subscribed to the Google Groups "greasemonkey-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/greasemonkey-users.
For more options, visit https://groups.google.com/d/optout.
