Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

Mini-tutoriels

Installation de paquets

Via une page Web

Sur certaines pages Web se trouvent des liens apt dans des phrases comme celle-ci :
, codés comme ceci :

Installez les paquets **[[apt>foo,bar|ri-li]]**</code>

En cliquant sur le nom du paquet, la logithèque Ubuntu s'ouvre et propose de l'installer.

Via la Logithèque Ubuntu

  • Ouvrez la Logithèque Ubuntu en cliquant sur son icône à gauche de l'écran
  • Entrez le nom du paquet à rechercher dans le champ de recherche
  • cliquez sur le bouton Installer pour installer le paquet.

En ligne de commande

Dans un terminal :

  • Avec apt-get

    $ sudo apt-get install le_paquet

  • Avec Aptitude

    $ sudo aptitude install le_paquet

Suppression de paquets

Sur une page Web, Utilisez une phrase du type suivant :

Supprimez les paquets **foo bar**

Via la Logithèque Ubuntu

  • Ouvrez la Logithèque Ubuntu en cliquant sur son icône à gauche de l'écran
  • Entrez le nom du paquet à rechercher dans le champ de recherche
  • cliquez sur le bouton Supprimer pour installer le paquet.

En ligne de commande

Dans un terminal :

  • Avec apt-get

    $ sudo apt-get remove le_paquet

  • Avec Aptitude

    $ sudo aptitude remove le_paquet

Gérer les dépôts de logiciels

Voir Dépôts

Modification des sources de mises à jour (dépôts)

Utilisez une phrase du type suivant :

Modifiez vos sources de mises à jour pour y ajouter le dépôt suivant :
deb http://url_du_dépôt …

Voir https://doc.ubuntu-fr.org/tutoriel/comment_modifier_sources_maj

En ligne de commande

$ sudo add-apt-repository deb http://url_du_dépôt …

Ajout d'un dépôt PPA

Utilisez une phrase du type suivant1) :

Ajoutez le PPA ppa:<nom_du_dépôt>2) dans vos sources de logiciels.

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/ppa#ajout_d_un_ppa_a_vos_sources_logicielles|Ajoutez le PPA]] **ppa:<nom_du_dépôt>**((https://launchpad.net/~nom_du_depot/+archive/ppa)) dans vos sources de logiciels.

Prenez soin de vérifier l'adresse exacte du dépôt.

En ligne de commande

$ sudo add-apt-repository deb ppa:<nom_du_dépôt>

Recharger la liste des paquets

Utilisez une phrase du type suivant :

en utilisant la syntaxe wiki suivante :

puis [[https://doc.ubuntu-fr.org/tutoriel/comment_modifier_sources_maj#recharger_la_liste_des_paquets|rechargez la liste des paquets]].

En ligne de commande

$ sudo apt update

Création ou modification de fichier

Utilisez une phrase du type suivant :

Ouvrez le fichier /chemin/du/fichier

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/tutoriel/comment_modifier_un_fichier|Ouvrez le fichier]] **/chemin/du/fichier**

Voir Comment créer ou modifier un fichier ?

Sauvegarder un fichier

Utilisez une phrase du type suivant :

Sauvegardez le fichier /chemin/du/fichier.

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/tutoriel/comment_sauver_et_restaurer_un_fichier|Sauvegardez le fichier]] **/chemin/du/fichier**.

Supprimer un fichier ou un dossier

Utilisez une phrase du type suivant :

Supprimez le fichier /chemin/du/fichier.

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/tutoriel/comment_supprimer_un_fichier|Supprimez le fichier]] **/chemin/du/fichier**.

Utiliser les droits d'administration

Utilisez une phrase du type suivant :

en utilisant la syntaxe wiki suivante :

avec les [[https://doc.ubuntu-fr.org/sudo|droits d'administration]]

Mettre à jour le système

Utilisez une phrase du type suivant :

en utilisant la syntaxe wiki suivante :

et [[https://doc.ubuntu-fr.org/gestionnaire_de_mises_a_jour#verifier_manuellement_grace_a_update-manager|appliquez les mises à jours]].

Connaître l'adresse IP d'une machine sous Linux

Placez-vous sur la machine considérée.

  • Adresse IP sur le réseau local
    • consultez l'interface de votre box qui donne les adresses IP de toutes les machines sur le réseau local.
    • ou lancez en ligne de commande :

      $ ifconfig

      qui donne tous les renseignements sur la machine courante.

  • Adresse IP sur internet : lancez en ligne de commande :

    $ wget -q -O - dynip.phyks.me

    qui retourne l'adresse IP de la machine courante sur internet (en général, l'adresse IP de la box).

Création d'un lanceur

Utilisez une phrase du type suivant :

Créez un raccourci en utilisant « foo » comme commande.

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/raccourci-lanceur|Créez un raccourci]] en utilisant « ''foo'' » comme commande.

Afficher les fichiers cachés

Utilisez une phrase du type suivant :

Affichez les fichiers cachés de votre Dossier Personnel.

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/fichier_cache|Affichez les fichiers cachés]] de votre Dossier Personnel.

Extraire une archive

Utilisez une phrase du type suivant :

Extraire l'archive dans votre Dossier Personnel.

en utilisant la syntaxe wiki suivante :

[[https://doc.ubuntu-fr.org/archivage#graphiquement|Extraire l'archive]] dans votre Dossier Personnel.
1)
cette syntaxe facilite le copier/coller, et évite que les débutants/non-anglophones ne cliquent sur le lien pensant que cela installerait le PPA comme pour les liens APT.