Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- debian:repository [2017/01/10 18:48]
stefano
+++ debian:repository [2023/04/17 14:25] (versione attuale)
@@ Linea 1: / Linea 1: @@
+Info utli per la gestione dei pacchetti\\
+https://www.debian.org/doc/manuals/apt-howto/ch-apt-get.it.html \\
+inoltre:\\
+https://www.debian.org/doc/manuals/apt-howto/ch-search.it.html
 Repository\\
 Per debian seguire un po' la guida indicata di seguito:\\
@@ Linea 39: / Linea 45: @@
   deb http://www.deb-multimedia.org jessie main non-free
+Altre info per i pacchetti in generale:\\
+https://www.debian.org/doc/manuals/apt-howto/ch-search.it.html \\
+===== apt tramite proxy =====
+con jessie (8)\\
+Creare il file:\\
+  vi /etc/apt/apt.conf.d/80proxy
+inserire i seguenti parametri commentando quelli che non servono:\\
+  Acquire::http::proxy "http://<username>:<password>@<proxy>:<port>/";
+  Acquire::ftp::proxy "ftp://<username>:<password>@<proxy>:<port>/";
+  Acquire::https::proxy "https://<username>:<password>@<proxy>:<port>/";

StefanoStrozzi.it