Merge remote-tracking branch 'origin/master'

extraction-donnees-privees 2016-07-25-monstre
Jean-Pierre PRUNARET 9 years ago
commit 35c49c2fcd

@ -23,7 +23,7 @@ push: submodules-push
git push --tags git push --tags
rebuild-switch: rebuild-switch:
nixos-rebuild switch nixos-rebuild switch --fallback
store-repair: store-repair:
nix-store --verify --check-contents --repair nix-store --verify --check-contents --repair
@ -44,5 +44,5 @@ tag: submodules-tag
git tag -f "$$(date +%F)-$$(hostname -s)" git tag -f "$$(date +%F)-$$(hostname -s)"
upgrade: upgrade:
nixos-rebuild switch --upgrade nixos-rebuild switch --upgrade --fallback

@ -17,7 +17,7 @@
bind # utilisé pour les utilitaires comme dig bind # utilisé pour les utilitaires comme dig
byobu # permet de se déconnecter d'un terminal sans l'aréter byobu # permet de se déconnecter d'un terminal sans l'aréter
exfat # Pour monter les FAT avec Fuse exfat # Pour monter les FAT avec Fuse
git gitAndTools.gitSVN gitAndTools.tig # outil de gestion de version git gitAndTools.gitSVN gitAndTools.tig gti # outil de gestion de version
gnumake # pour décrire les recettes de compilation gnumake # pour décrire les recettes de compilation
gnupg # GPG gnupg # GPG
gpm # prise en charge de la souris en console gpm # prise en charge de la souris en console

Loading…
Cancel
Save