Shulou(Shulou.com)06/01 Report--

Editor to share with you how to set the gedit text editor in linux to automatically save the contents of the file, I believe most people do not know much about it, so share this article for your reference. I hope you will gain a lot after reading this article. Let's learn about it together.

There is a gedit text editor in linux, but this text editor does not turn on the auto-save function by default, so we need to save it manually, which is too troublesome. In case there is no content left, how to set up automatic save?

1. First, click "launcher" on the dock bar.

2. Find the depth terminal and click run.

3. After running, first execute the following command to view the schemas content related to gedit.

Gsettings list-schemas | grep edit

4. Next, query the keys related to gedit.

Gsettings list-keys org.gnome.gedit.preferences.editor

As shown in the following figure, auto-save is the auto-save and auto-save-interval is the auto-save time.

5. Gedit does not enable the auto-save feature by default. Query that the value of the auto-save key is false.

6. At the same time, if auto-save is enabled, the interval between gedit auto-save is 10 minutes.

7. Next, you can turn on auto-save with the following command.

Gsettings set org.gnome.gedit.preferences.editor auto-save true

8. If you think the 10-minute interval is too long, you can set it to 5 minutes or less with the following command. The type of this value is an integer.

Gsettings set org.gnome.gedit.preferences.editor auto-save-interval 5

The query result has been successfully set, as shown in the following figure.

The above is all the contents of the article "how to set the gedit text Editor in linux to automatically save the contents of a file". Thank you for reading! I believe we all have a certain understanding, hope to share the content to help you, if you want to learn more knowledge, welcome to follow the industry information channel!

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.