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
|
|
|
|
2023-12-27 18:37:07 +00:00
|
|
|
- Abre um ficheiro de texto:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2024-01-13 22:07:19 +00:00
|
|
|
`gedit {{caminho/para/ficheiro}}`
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2023-12-27 18:37:07 +00:00
|
|
|
- Abre múltiplos ficheiros de texto:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2024-01-13 22:07:19 +00:00
|
|
|
`gedit {{caminho/para/ficheiro1 caminho/para/ficheiro2 ...}}`
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2024-01-13 22:07:19 +00:00
|
|
|
- Abre um ficheiro de texto com uma formatação específica:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2024-01-13 22:07:19 +00:00
|
|
|
`gedit --encoding={{UTF-8}} {{caminho/para/ficheiro}}`
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2024-01-13 22:07:19 +00:00
|
|
|
- Mostra a lista de formatações de texto disponíveis:
|
2019-10-26 13:24:00 +01:00
|
|
|
|
2024-01-13 22:07:19 +00:00
|
|
|
`gedit --list-encodings`
|
