Archives de catégorie : informatique

Tout ce qui touche à l’informatique de près ou de loin

Je continue mon bashrc et par la même occasion je continue de décrire ici mes découvertes : Cette fois ci il s’agit de la prise en compte ou non des fichiers / dossiers cachés, commençant par un point par les … Continuer la lecture

Si par mégarde vous avez supprimé un tableau de bord du bureau Gnome vous vous trouvez face à un bureau plutôt déconcertant : ou Voici comment procéder pour le restaurer: Ouvrir un terminal, pour cela et si vous n’avez plus … Continuer la lecture

Premier article d’une série décrivant quelques paramétrages de base d’Ubuntu en version Desktop (par opposition à serveur). Ces articles décrivent les réglages que je réalise après avoir ré-installé mon PC de bureau et seront intégrés / référencés dans un article … Continuer la lecture

Suite des astuces bashrc. Si vous tapez l’ensemble de commandes suivantes dans votre terminal : for i in 1 2 3 4 5 do echo "Welcome $i times" done Et que vous utilisez les flèches haut et bas pour naviguer … Continuer la lecture

Une brève : pour modifier la taille des sous-titre lorsque l’on regarde  un film avec mplayer (via Freevo), il suffit d’éditer (ou créer) le fichier ~/.mplayer/config et d’y ajouter la ligne suivante : subfont-text-scale=5 Le 5 est bien sûr a … Continuer la lecture