Mozilla will shut down Pocket’s services on July 8, 2025. At that time users will no longer be able to access the Pocket website, apps and API. You can export your saved items and API data until October 8, 2025 before they are permanently removed. For more information, see this article.

Avatar for Username

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

This thread was archived. Please ask a new question if you need help.

How do I change the text editor for greasemonkey?

  • 3 replies
  • 58 have this problem
  • 5 views
  • Last reply by cor-el

Telepian
Telepian

It asked me to chose a text editor. I chose Open office. Then I found out open office can't open greasemonkey scripts.

How do I make it open scripts with gedit?

It asked me to chose a text editor. I chose Open office. Then I found out open office can't open greasemonkey scripts. How do I make it open scripts with gedit?

Chosen solution

GreaseMonkey scripts are plain text files that have a file extension user.js. Every text editor should be able to handle such a file. What happens if you open that file with OO Writer?

You can probably find the selected editor as a pref on the about:config page.

Read this answer in context 👍 3

All Replies (4)

cor-el
cor-el
  • Moderator

Chosen Solution

GreaseMonkey scripts are plain text files that have a file extension user.js. Every text editor should be able to handle such a file. What happens if you open that file with OO Writer?

You can probably find the selected editor as a pref on the about:config page.

Telepian
Telepian Question owner

The about:config page worked. Thanks.

Modified by Telepian

cor-el
cor-el
  • Moderator

You're welcome

wwwsmith1
wwwsmith1

It worked!! Thank you.

Modified by cor-el