Differences

This shows you the differences between two versions of the page.

--- informatique:os:debian [2015/03/10 01:27] – [Debian] MAJ logo pteu
+++ informatique:os:debian [2018/10/23 09:58] – [Utiliser un proxy avec apt] pteu
@@ Line 260: / Line 260: @@
 >ajouter "blacklist pcspkr" dans ''/etc/modprobe.d/blacklist''
 >commenter la ligne contenant pcspkr dans ''/etc/modprobe.d/pnp.hotplug''
+=====MAJ Debian 7 vers 8=====
+Debian 8, alias Jessie, est release en version stable depuis le 25 avril 2015 ! Pour mettre à jour depuis une Debian 7 (alias Wheezy) :
+<code bash>
+# mettre à jour les dépots Wheezy
+aptitude update && aptitude safe-upgrade
+# MAJ le fichier des sources apt
+sed -i 's/wheezy/jessie/g' /etc/apt/sources.list
+# MAJ du système et de tous les paquets
+aptitude update && aptitude upgrade && aptitude dist-upgrade -y
+</code>
 =====Tips=====
@@ Line 314: / Line 330: @@
 </code>
+====Changer le fuseau horaire====
+//TL;DR : Pour changer le fuseau horaire d'une Debian/Ubuntu, il suffit l'utiliser l'assistant : ''dpkg-reconfigure tzdata''.//
+Pour le changer "à la main" : le fuseau horaire est indiqué par le fichier **/etc/localtime**. Il faut le faire pointer (lien symbolique) vers le bon fichier de zone situé dans **/usr/share/zoneinfo** ; par exemple pour l'heure de Paris :
+<code bash>
+rm /etc/localtime
+ln -s /usr/share/zoneinfo/Europe/Paris /etc/localtime
+</code>
+Pour le prendre en compte au prochain redémarrage, indiquer le fuseau horaire dans le fichier **/etc/timezone** :
+<code bash>
+echo "Europe/Paris" > /etc/timezone
+</code>
+====Utiliser un proxy avec apt====
+Ajouter les lignes suivantes dans ''/etc/apt/apt.conf'' (ou ''/etc/apt/apt.conf.d/09proxy'') :
+<code bash>
+Acquire::http::Proxy "http://yourproxyaddress:proxyport";
+# par exemple :
+Acquire::http::Proxy "http://squid.local:3128";
+</code>
+(source : [[https://askubuntu.com/questions/257290/configure-proxy-for-apt|askubuntu]])