Il 17 ottobre 2011 09:05, Giuseppe Sacco <giuse...@eppesuigoccas.homedns.org> ha scritto: > Il giorno ven, 07/10/2011 alle 17.15 +0200, Daniele Forsi ha scritto: >> 2011/9/20 Sergio Zanchetta: > [...] >> > #: builtins/pushd.def:506 >> > msgid "directory stack empty" >> > msgstr "stack delle directory vuoto" >> > >> > #: builtins/pushd.def:508 >> > msgid "directory stack index" >> > msgstr "indice dello stack delle directory" >> >> s/stack/catasta/ o /pila/ anche nelle successive? però suonano molto >> scolastiche > > Se non ho capito male si tratta dell'elenco di directory mantenuto con > pushd/popd, giusto? Io lo chiamerei proprio «elenco» nonostante lo si > utilizzi solo (credo) come una coda LIFO.
Non sono convintissimo, in rete è sempre usato stack delle directory, non mi sembra proprio la stessa cosa. (ma potrei sbagliarmi ;-) ). > Ciao, > Giuseppe > > > -- > principale: http://www.linux.it/tp/ > ausiliaria: http://fly.cnuce.cnr.it/gnu/tp/ausiliaria.html > -- Sergio Zanchetta https://launchpad.net/~primes2h -- principale: http://www.linux.it/tp/ ausiliaria: http://fly.cnuce.cnr.it/gnu/tp/ausiliaria.html