[Gruppo-doc] RigaDiComando vs Terminale

Paolo Garbin paolettopn a gmail.com
Ven 13 Gen 2017 18:32:19 GMT



Il 13/01/2017 19:12, Jeremie Tamburini ha scritto:
> Salve,
> In questo periodo di restyling e razionalizzazioni varie, come da
> titolo, mi è presa la smania di rinominare la ben conosciuta
> "AmministrazioneSistema/RigaDiComando" in
> "AmministrazioneSistema/Terminale".
> È così da tempo immemore, è linkata in ogni dove e non ci abbiamo mai
> fatto caso, però se mettiamo in ricerca nel wiki la parola "terminale"
> e premiamo l'invio, la pagina non viene trovata...
>
> Avrebbe anche più senso chiamarla così dal momento che oltre a essere
> il termine più utilizzato in assoluto, abbiamo addirittura una frase
> standard (linkata centinaia di volte) che usa proprio quel termine.
> Sarebbe meglio far combaciare le cose.
>
> Che ne pensate?

+1, concordo con la tua scelta. Meglio definirla come 'terminale', per
facilitare le scelte dell'utente... poi all'interno della pagina
possiamo anche definirla riga di comando....

Paoletto

-- 
Paolo Garbin

Blog: www.paolettopn.it     Associazione: www.pnlug.it  www.libreitalia.it
Linux user #435436          Ubuntu user: #15710
OpenGPG key: 1024D/F1339F86 
8038 84B5 93C9 81C3 E396 EB27 D027 9B2F F133 9F86
Inviato con Thunderbird 38.4 e Ubuntu 14.04 LTS



Maggiori informazioni sulla lista Gruppo-doc