Articles taggés avec memento

  1. Signer une archive avec GnuPG

    Par Ben

    Petit rappel lorsque l'on a préparé une archive zip ou tgz. La signer avec GnuPG est important pour que les bénéficiaires de l'archive puissent vérifier qu'elle provient bien de moi et est intacte. Pour mémoire, voici la commande à taper dans un Terminal:

    $ gpg --detach-sign --armor mon_archive.tar.gz …
  2. Réinitialiser la grille d'applications de GNOME 3

    Par Ben

    Après installations, désinstallations, déplacement d'icônes et erreurs éventuelles de manipulation. Pour remettre la grille d'applications du shell GNOME d'équerre, il suffit de taper dans un Terminal:

    gsettings reset org.gnome.shell app-picker-layout 
    

    Puis, de se déloguer, et se reloguer.

  3. Réinstaller ses anciens paquets sur une Debian fraîche

    Par Ben

    Pour maintenir une liste des paquets installés, je lance régulièrement la commande suivante:

    $ dpkg --get-selections > ~/Public/dpkg.selections
    

    Cela me permet, lorsque j'installe une nouvelle Debian ou Ubuntu sur un nouvel ordinateur (ou sur le même pour des raisons obscures), de rapidement réinstaller tout mes paquets précédents. Voici l'astuce:

    $ sudo …
  4. Générer un paquet pur Debian depuis une distribution Ubuntu

    Par Ben

    Sur mon laptop principal j'utilise actuellement Ubuntu GNU/Linux. Cependant je distribue mes logiciels sur Debian. Ce petit memento décrit comment générer un paquet binaire pur Debian depuis le paquet source (créé auparavant) afin de vérifier si la compilation se passe bien notamment au niveau des dépendances à installer automatiquement …

  5. Quelques macros TeX en vrac

    Par Ben

    Self-explained...

    \def\ctrl{{\rm\char94}\kern-1pt} => \ctrl produit un ^ collé au caractère suivant.
    \def\enter{$\hookleftarrow$} => \enter produit une flèche avec un angle.
    \def\tild{\char126} => \tild produit un ~.
    \def\sect#1{\vskip0.4cm{\it#1}\par} => \sect{Titre de la section} produit un titre de section …

Page 1 / 2 »