Ennio-Sr

> L'unica cosa che mi viene in mente è il famigerato semplice ma subdolo comando
>                            ########  >  ########
> che 'ingoia', come un  enorme buco nero, tutto ciò che lo segue sulla riga
> di comando.

è quello il suo scopo

> Nel caso specifico, esso sarebbe entrato in funzione dopo la 'inconsistenza'
> del comando che lo precedeva e - se così fosse -,potremmo essere in presenza 
> di
> un bug?

non è un bug, tu puoi usare il comando per fare quello che vuoi, poi in realtà
tu stai dado più comandi insieme o meglio esegui un comando che butta su
standard output e redirige in un file

Quindi se tu dai un comando che è sintatticamente valido è corretto che venga
eseguito.

Per esempio io uso

$ echo "Ciao" > /tmp/mio_file.txt
$ cat /tmp/mio_file.txt
Ciao
$ :> /tmp/mio_file.txt
$ cat /tmp/mio_file.txt
$

come vedi il penultimo comando svuota il file.

Bisogna stare sempre attenti quando si usano i comandi di ridirezione e,
soprattutto, bisogna prima aver ben chiaro cosa fanno.

Ciao
Davide

--
La mia privacy non è affar tuo
https://noyb.eu/it
- You do not have my permission to use this email to train an AI -
If you use this to train your AI than you accept to distribute under AGPL
license >= 3.0 all the model trained, all the source you have used to
training your model and all the source of the program that use that model

Rispondere a