6 999
contributi
Creazione automatica di un file di log per inviare quesiti al forum: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Creazione automatica di un file di log per inviare quesiti al forum (visualizza wikitesto)
Versione delle 17:46, 28 dic 2014
, 28 dic 2014wget & sed: < convertito in <
S3v (discussione | contributi) m (→Changelog) |
S3v (discussione | contributi) (wget & sed: < convertito in <) |
||
| Riga 24: | Riga 24: | ||
== Utilizzo == | == Utilizzo == | ||
# Eseguire un upgrade del sistema, se possibile, in modo che le informazioni raccolte dallo script siano aggiornate. | # Eseguire un upgrade del sistema, se possibile, in modo che le informazioni raccolte dallo script siano aggiornate. | ||
# Copiare manualmente il codice dello script in un file di testo. Il nome del file può essere scelto liberamente.<br/>Se si preferisce, è possibile eseguire il seguente comando:<pre>$ wget -q -O- "http://guide.debianizzati.org/index.php?title=Creazione_automatica_di_un_file_di_log_per_inviare_quesiti_al_forum&action=edit" | sed -n "/^== Script/{n;:a n; /^</ ! {s/\&amp;/\&/g; p; ba}}" > nomefile</pre>Questo creerà il file di testo "nomefile" contenente lo script.<br/>Si presuppone che '''non esista''' nella directory corrente un file avente lo stesso nome (altrimenti verrà sovrascritto), che il pacchetto "wget" sia installato e che, ovviamente, la connessione alla Rete sia funzionante. | # Copiare manualmente il codice dello script in un file di testo. Il nome del file può essere scelto liberamente.<br/>Se si preferisce, è possibile eseguire il seguente comando:<pre>$ wget -q -O- "http://guide.debianizzati.org/index.php?title=Creazione_automatica_di_un_file_di_log_per_inviare_quesiti_al_forum&action=edit" | sed -n "/^== Script/{n;:a n; /^</ ! {s/\&amp;/\&/g; s/\</</g; p; ba}}" > nomefile</pre>Questo creerà il file di testo "nomefile" contenente lo script.<br/>Si presuppone che '''non esista''' nella directory corrente un file avente lo stesso nome (altrimenti verrà sovrascritto), che il pacchetto "wget" sia installato e che, ovviamente, la connessione alla Rete sia funzionante. | ||
# Dare i permessi di esecuzione al file appena creato. Supponendo che si chiami ''nomefile'':<pre>$ chmod +x nomefile</pre> | # Dare i permessi di esecuzione al file appena creato. Supponendo che si chiami ''nomefile'':<pre>$ chmod +x nomefile</pre> | ||
# Eseguire lo script con i permessi di [[root]]:<pre># ./nomefile</pre>il comando precedente deve essere eseguito nella stessa directory in cui risiede lo script.<br/>L'utilizzo dei permessi di root è motivato dal fatto che alcuni comandi devono essere eseguiti necessariamente come utente privilegiato. | # Eseguire lo script con i permessi di [[root]]:<pre># ./nomefile</pre>il comando precedente deve essere eseguito nella stessa directory in cui risiede lo script.<br/>L'utilizzo dei permessi di root è motivato dal fatto che alcuni comandi devono essere eseguiti necessariamente come utente privilegiato. | ||