C'est toujours la merde pour faire les updates d'une VM Debian (ou dérivées) quand vous êtes derrière un proxy qui exige un mot de passe, et j'oublie toujours la manipulation. Alors je me note ça là:

• Créer /etc/apt/apt.conf.d/proxy contenant:
Acquire::http::Proxy "http://login:motdepasse@adresseproxy:port";;
Acquire::ftp::Proxy "http://login:motdepasse@adresseproxy:port";;

• à la fin de /etc/wgetrc mettre:
http_proxy = http://adresseproxy:port/
https_proxy = http://adresseproxy:port/
ftp_proxy = http://adresseproxy:port/
proxy_user = login
proxy_password = motdepasse
use_proxy = on
wait = 15

• Dans /etc/environment, ajouter:
HTTP_PROXY="http://login:motdepasse@adresseproxy:port/";
HTTPS_PROXY="http://login:motdepasse@adresseproxy:port/";
FTP_PROXY="http://login:motdepasse@adresseproxy:port/";

et vous devriez être tranquille pour faire votre apt-get.  synaptic fonctionnera également comme il faut.
Certaines dérivées de Debian un peu neuneu exigeront de paramétrer également le proxy dans leur panneau de config (Gnome et autres).


EDIT: http://walane.net/on-the-web/lien/?id=392  Nope, ça ne suffit pas. J'ai essayé. Cela change le proxy pour la plupart des applications Gnome (Firefox le prend en compte, par exemple), mais ça ne marche pas pour les autres outils (comme apt-get). (Testé sous Linux Mint 15.)

EDIT: Certains me signalent que selon les distribution, il faut définir http_proxy au lieu de HTTP_PROXY.

DuckDuckGo va devenir le moteur de recherche par défaut de Gnome. C'est une bonne chose.

Un site très sympa qui explique, élément par élément, une ligne de commande shell. Très bien fait. (via http://links.buntux.org/?otVkcA)

Bon anniversaire Debian !

Woao... ce shell est assez impressionnant.

Sympa... un générateur de prompt PS1 pour shell Linux/Unix par drag'n'drop. Il suffit de glisser les éléments sur la zone "You configuration" et la ligne résultante est affichée en bas de page.

BusyBox est un shell Posix très apprécié dans les systèmes embarqués (comme la Freebox) car il est très léger. Problème: Il est sous GPL et pose donc des problèmes dans les produits commerciaux.
ToyBox est une alternative sous licence MIT.

jnettop, un outils dans la veine de nettop mais avec une présentation différente.

Un logiciel de backup qui a l'air bien fait. (Avec chiffrement, sauvegarde vers fichiers, FTP, FTPS, sauvegarde incrémentielle/différentielle, etc.)

Oh ben ça c'est cool: Le jeu indépendant Incredipede (jeu de réflexion) est payant pour Windows et OSX. Les auteurs ont décidé qu'il serait gratuit pour Linux :-)     Ça c'est sympa.
Trailer du jeu: https://www.youtube.com/watch?v=TIxef7gelnI
(via Korben)

X, Wayland. Il y a beaucoup de questions, beaucoup d'erreurs de compréhension. Cet article essaie de clarifier le tout.

TL;DR  Wayland comparé à X

Les équivalences de commandes entre gestionnaires de paquet (apt/pacman/yum/rug/zypper/emerge) (via http://gilles.wittezaele.fr/links/?-cjM2Q)

N'en abusez pas, hein, c'est mauvais pour la santé (de votre système).

Tiens je ne connaissais pas cette commande: Utile pour éviter d'effacer par erreur un fichier, même avec les droits root.

What ? Les développeurs de Gnome ont retiré de Nautilus la barre de status, la vue des fichiers en mode compacte, la vue arborescente, les bookmarks et tout un tas d'autres trucs ? Mais bon sang, ils ont quoi dans le citron ?
Bon je crois que ça sera MATE, Xfce ou même KDE, avec Thunar ou autre.

zsh a l'air d'avoir divers avantages intéressants sur bash.
(via http://shaarli.m0le.net/?MKBw_g)

X.Org est mort ?  Mais bien sûr.

Ayé ! Portal est dispo sous Linux.

Quelques infos sur Mir, le serveur d'affichage que Canonical veut mettre dans Ubuntu à la place de X-Windows (cf. http://sebsauvage.net/links/?2vcWLw)

Hein ? Quoi ? Ubuntu va remplacer X-Windows par MirSpec ?
Et pourquoi pas Wayland ? D'après eux parce que Wayland est encore trop proche de X-Windows et ne permet par une API unifiée sur de multiples plateformes (dont les smartphones).
EDIT: Voir aussi: http://sebsauvage.net/links/?mvV67w

Oh ben tiens, c'est pratique ça, pour aller piocher du contenu dans un tar sans le décompresser.

Ça y est ! Microsoft a enfin signé le bootloader UEFI de Linux. Les distributions Linux pourront donc enfin booter sur des PC UEFI avec SecureBoot activé.

Rrhhâââ... NON !  Pitié.  Gnome a officiellement adopté Javascript comme langage pour le développement d'applications (!).
Purée, entre ça et Gnome3, ça part en couille.
L'argument est que ça facilite la vie aux programmeurs débutants. Je suis tout à fait d'accord, je ne demande rien de mieux que de faciliter l'apprentissage de la programmation et baisser la barrière d'entrée, mais *PAS* avec Javascript ! Pourquoi pas plutôt Python ?

Alors ça y est ? Linux a gagné la guerre du desktop ?
Il y a quand même quelque chose qui cloche dans leur analyse:
   - iOS, ce n'est pas Linux, c'est un dérivé d'un BSD.
   - Depuis quand un smartphone sous Android peut-il être considéré comme une machine desktop ?