Opzioni di wget per emerge

Chi vuole gestire con accuratezza le opzioni con cui wget preleva i sorgenti dei pacchetti può farlo abbastanza agevolmente.
Infatti c’è una variabile apposita: FETCHCOMMAND .

Per conoscere il suo valore di default basta eseguire:

Più meno dovrebbe venir fuori così:

Questo valore, ad esempio, usa il comando  wget  (che altro senò?), con tre tentativi, con un timeout di 60 secondi, con la modalità  PASV  in caso di FTP e alla fine prende i file giusti e li mette nel posto giusto (eheh).

All’occorrenza, può essere riscritta secondo le proprie esigenze, facendo attenzione a mettere il giusto escaping qua e là.

Ad esempio, con la mia rete scadente, se ho bisogno della rete durante il downloading posso fare il prelievo così:

Utile.

Leave a Comment

Your email address will not be published.

Analisi degli accessi a www.istat.it
×
', 'auto'); ga('require', 'displayfeatures'); ga('set', 'forceSSL', true); ga('send', 'pageview');