2019-10-26 13:24:00 +01:00
|
|
|
# gedit
|
|
|
|
|
|
2019-11-22 20:47:21 +00:00
|
|
|
> Editor de texto para Desktop do GNOME.
|
2021-07-09 15:45:55 +01:00
|
|
|
> Mais informações: <https://help.gnome.org/users/gedit/stable/>.
|
2019-10-26 13:24:00 +01:00
|
|
|
|
|
|
|
|
- Abrir ficheiro de texto:
|
|
|
|
|
|
|
|
|
|
`gedit {{ficheiro}}`
|
|
|
|
|
|
2020-02-27 13:53:46 +00:00
|
|
|
- Abrir múltiplos ficheiros de texto:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
|
|
|
|
`gedit {{ficheiro1 ficheiro2}}`
|
|
|
|
|
|
2019-11-22 20:47:21 +00:00
|
|
|
- Mostrar a lista de formatações de texto disponíveis:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
|
|
|
|
`gedit --list-encodings`
|
|
|
|
|
|
2020-02-27 13:53:53 +00:00
|
|
|
- Abrir um ficheiro de texto com uma formatação específica:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
|
|
|
|
`gedit --encoding={{encoding}} {{ficheiro}}`
|
