Ciao Davide, Il giorno ven, 05/01/2024 alle 23.08 +0100, Giuseppe Sacco ha scritto: > [...] > > #: data/org.gnome.Prompt.desktop.in.in:14 > > msgid "terminal;shell;prompt;command;commandline;cmd;" > > msgstr "terminal;shell;prompt;comando;comandi;cmd;" > > si possono usare spazi? forse «linea di comando» sarebbe meglio di > «comandi»? > Se invece è un elenco di categorie, come quelle indicate in > https://specifications.freedesktop.org/menu-spec/latest/ar01s03.html > allora credo che non vada tradotto, ma non ne sono certo.
Se non ho visto male, viene usato nella proprietà "Keywords[it]". In questo caso va tradotta e, in altre lingue, ho visto usare gli spazi senza problemi. In ogni caso, il terminale normale di gnome utilizza «rigadicomando». Ciao, Giuseppe -- principale: http://www.linux.it/tp/ ausiliaria: http://fly.cnuce.cnr.it/gnu/tp/ausiliaria.html
