Come si chiama `--`?

Di recente ho scoperto --che è un doppio trattino che viene utilizzato per dire a un comando che l'elenco delle opzioni è terminato e quanto segue non dovrebbe essere considerato come un'opzione. Così,

grep --  'search_word' *

cercherebbe il dato search_word. Ma potresti vedere un comportamento inaspettato se rimuovi --e se c'è un singolo file che inizia con -, che attiva l'opzione corrispondente ai caratteri nel nome file .

Come si --chiama questo ? C'è un termine tecnico per questo?

command options

— MTK
fonte

Vedi il dibattito su Perché unix-head dice "meno"? quindi raddoppiarlo.

— arte

@manatwork No, quadralo! Dovremmo dire "trattino meno" o "trattino meno"?

— Gilles 'SO- smetti di essere malvagio' il

Lo pronuncio semplicemente "-".

— dubiousjim,

Incontro regolarità cd --e cd -fenomeni. mentre cd --significa essenzialmente essenzialmente giusto cde quindi cambia nel tuo $HOME, cd -significa mettiti nella directory precedente. Questo diventa utile quando lo desideri, cd ..ma come per il layout di tastiera tedesco, lo mescolo spesso con cd --. cd -ti rimetterà poi. : D

— matematica

Risposte:

La --sta lavorando per gli strumenti che uso getopt(3)per argomenti della riga di comando di processo e molti API che le opzioni di stile parse POSIX.

Dalla pagina del manuale di getopt(3):

L'interpretazione delle opzioni nell'elenco degli argomenti può essere annullata dall'opzione `- '(doppio trattino) che fa sì che getopt () segnali la fine dell'elaborazione dell'argomento e restituisca -1.

Direi quindi che si chiama doppio trattino

— Matteo
fonte

Scommetto che c'è un termine linguistico per questo.

— Rob,

getopt non è l'unica API che supporta "-". La maggior parte delle API che analizzano le opzioni di stile POSIX nella maggior parte delle lingue lo supportano. Tutti i programmi di utilità POSIX ma echoe lo [supportano

— Stéphane Chazelas,

@StephaneChazelas Grazie ho modificato la risposta

— Matteo,

Gli unici due nomi che ho diretto in pratica sono "doppio trattino" per riferirsi ad esso esteticamente e "fine delle opzioni" per riferirsi ad esso funzionalmente .

— Chris Down
fonte

l'ho visto anche chiamato "ultima opzione".

— Tim Kennedy,