Hi! My son proudly told me that he "hacked a web site". In fact he just changed the HTML using FireFox's web developer tools. But since he was so proud, I told him that there is greasemonkey which he could use to make all these changes he did automatically each time the page loads.
Some time later he came to me and asked me to show him how to use greasemonkey. Now while the editor in greasemonkey is quite good, he also is member of the teckkids e.V. https://www.teckids.org and so he already knows (a bit) about git and also was asked by his friends whether he could put his script into their git. Unfortunately this is a tedious copy & paste job where you edit your greasemonkey script ein an editor which can save to the filesystem and then copy it over into the greasemonkey editor or the other way around. It has to be a bit more efficient, don't you think? So are there any news in regards to using an external editor? -- 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 greasemonkey-users+unsubscr...@googlegroups.com. To post to this group, send email to greasemonkey-users@googlegroups.com. Visit this group at https://groups.google.com/group/greasemonkey-users. For more options, visit https://groups.google.com/d/optout.
