gedit 设置编码的方法
Ubuntu 18.10 gconf-editor已删除。请使用'dconf-editor'代替。或使用命令行工具'dconf'。并且“自动检测”由“候选编码”代替:
也可以用插件代替
'''bash
Download plugin
mkdir -p /tmp/encoding
cd /tmp/encoding
wget https://aur.archlinux.org/packages/ge/gedit-encoding-plugin/gedit-encoding-plugin.tar.gz
tar -xzvf gedit-encoding-plugin.tar.gz
Copy to plugins directory
mkdir -p ~/.local/share/gedit/plugins
cp /tmp/encoding/gedit-encoding-plugin/encoding.plugin /tmp/encoding/gedit-encoding-plugin/encodingpy.py ~/.local/share/gedit/plugins
Remove /tmp/encoding
rm -Rf /tmp/encoding
'''