vendredi 19 juin 2020

Réduire la taille du dossier /var/log/journal/ (sur Ubuntu 20.04 Focal Fossa)

Les fichiers contenus dans le dossier /var/log/journal/ peuvent occuper plusieurs centaines de Mo.

Comme je n'ai pas besoin de ces logs, je n'ai pas besoin de les conserver, voici comment faire le ménage dans ces fichiers.

Lire la suite...

lundi 16 juillet 2018

Mes extensions indispensables pour GNOME Shell

J'utilise depuis plusieurs années l'environnement de bureau GNOME Shell (sur Ubuntu) et j'ai trouvé de nombreuses extensions qui améliorent l'expérience.

Lire la suite...

vendredi 29 septembre 2017

Fix Wi-Fi bug with Ubuntu 16.04 LTS on MSI GP62MVR laptop

The default kernel installed with Ubuntu 16.04 didn't recognized my Wi-Fi card. I found the solution on AskUbuntu: How do I get an Intel Wireless 3168 802.11ac wireless card to work?.

The solution is also documented in Ubuntu's documentation and consist in installing an up-to-date kernel on the LTS Ubuntu release:

  1. Install the new kernel: sudo apt-get install linux-generic-hwe-16.04 xserver-xorg-hwe-16.04 --install-recommends
  2. Reboot

Then I was able to configure and use the Wi-Fi connection.

lundi 14 novembre 2016

Afficher la branche git dans le prompt du shell fish

Par défaut, le shell fish n'affiche pas la branche git actuelle :

Voici comment l'afficher.

Lire la suite...

mercredi 2 mai 2012

Administrer un serveur sous Linux (Ubuntu)

Voici quelques outils qui m'aident à administrer le PC sous Ubuntu (actuellement la version 12.04) qui me sert de serveur de fichier / NAS.

Lire la suite...

dimanche 24 mai 2009

Installer fish, un shell interactif agréable

J'utilise la distribution Linux Ubuntu depuis environ 3 ans. J'utilisais le shell par défaut bash sans savoir qu'on pouvait en utiliser un autre. J'ai découvert le shell fish par hasard en lisant les commentaires d'une nouvelle sur LinuxFr.org, je l'ai installé et l'ai adopté.

Lire la suite...