GAWKBUG(1)

NOME
gawkbug - segnala un bug di gawk

SINTASSI
gawkbug [--version] [--help] [email-address]

DESCRIZIONE
gawkbug è una script di shell che aiuta un utente a comporre e spedire delle segnalazioni di bug riguardo a gawk in un formato standard. gawkbug chiama il programma di edit specificato nella variabile EDITOR per modificare una copia temporanea di un modulo standard per la segnalazione di errori. L'utente deve riempire i campi appropriati e quindi uscire dalla sessione di edit. In seguito, gawkbug spedisce la segnalazione così preparata a bug-gawk@gnu.org, o all'indirizzo-email specificato. Se l'invio non riesce, il modulo compilato viene salvato, con il nome dead.gawkbug, nella home directory dell'utente che sta facendo la segnalazione.

Il modulo di segnalazione bug è composto da più sezioni. La prima sezione fornisce informazioni riguarda al computer, al sistema operativo, alla versione di gawk e all'ambiente di compilazione. La seconda sezione va riempita con la descrizione del bug. La terza sezione dovrebbe contenere una descrizione di come è possibile riprodurre il bug. La quarta sezione (opzionale) permette di segnalare una possibile correzione. La segnalazione di correzioni è molto gradita.

VARIABILI D'AMBIENTE
gawkbug utilizzerà le seguenti variabili d'ambiente, se definite:

EDITOR
    Specifica il programma di edit preferito. Se EDITOR non è impostato, gawkbug tenta di trovare alcuni programma di edit alternativi, compreso vim e, se necessario, emacs. Se gawkbug non riesce a trovare alcun programma di edit alternativo, tenta di eseguire vi.

HOME
    Nome della directory in cui viene salvata una segnalazione di bug, se non è stato possibile inviarla con la posta elettronica.

TMPDIR
    Nome della directory in cui creare file e directory temporanei.

VEDERE ANCHE

gawk(1)

AUTORI
Brian Fox, Free Software Foundation
bfox@gnu.org

Chet Ramey, Case Western Reserve University
chet@po.cwru.edu

Arnold Robbins
bug-gawk@gnu.org