User Tools

Site Tools


debian

Debian GNU/Linux is the Operating System I use at home since 2001 and at work from 2001 to 2004.

Official website: http://www.debian.org/

Package management

There are several front-ends:

deborphan | sudo xargs apt-get remove -y

Documentation

  • Formation Debian GNU/Linux par Alexis de Lattre, sans aucun doute la meilleure ressource en français (seul problème : dernière mise à jour : 2013)

Comment obtenir la liste des packages installés?

dpkg --get-selections | grep "	install$"

ifconfig deprecated in Buster

Replaced by

ip addr

source

Find third-party software

The aptitude command might help you to find any 3rd party software package currently installed on your Debian system.
sudo aptitude search '~i(!~ODebian)'

source

Problème de son pour un utilisateur

Il arrive qu'un utilisateur ne puisse pas faire fonctionner le son (alors que pour les autres utilisateurs, il n'y a pas de problème). Il y a plusieurs choses à vérifier :

  • l'utilisateur est-il dans le groupe audio ? Pour vérifier :
groups user
  • si ce n'est pas le cas, l'ajouter, puis rebooter :
sudo adduser user audio
  • vérifier que le son n'est pas sur mute dans alsamixer (s'il y a “MM” sous le potentiomètre, appuyer sur la touche M pour qu'il ne soit plus en sourdine)
alsamixer
  • pavucontrol : vérifier que la sourdine (mute) n'est pas activée ; c'est un outil graphique qu'on peut lancer de la ligne de commande :
pavucontrol &

Installing

Backports

Ajouter 2 lignes dans /etc/apt/sources.list :

sudo vi /etc/apt/sources.list

Les 2 lignes à ajouter sont les suivantes (retirer les commentaires # si nécessaire) :

deb http://deb.debian.org/debian bullseye-backports main #contrib non-free
#deb-src http://deb.debian.org/debian bullseye-backports main contrib non-free

Ensuite, faire une mise à jour :

sudo apt update
sudo apt ugrade

Installer un paquet (“package-name”) dans backports :

sudo apt -t bullseye-backports install package-name

Sources :

debian.txt · Last modified: 2022/12/26 09:32 by carl