app-dev: commentaires + outils git supplémentaire

extraction-donnees-privees 2016-08-26-ocean
Jean-Pierre PRUNARET 9 years ago
parent ebe63ea5e0
commit 56d2c04cd6

@ -12,34 +12,37 @@ mkIf cfg.developpement {
# Paquets # Paquets
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
# Base de données # Base de données
pgadmin pgadmin # interface d'administration de postgres
sqlitebrowser sqlitebrowser # interface d'administration de sqlite
# Développement # Développement
cloc cloc
idea.idea-community idea.idea-community # IntelliJ IDEA
gcc # pour les appels depuis les scripts gcc # pour les appels depuis les scripts
# Documentation # Documentation
zeal zeal # consulter la documentation hors ligne
## Gestion des sources ## Gestion des sources
# git # déjà présent dans "base" # git # déjà présent dans "base"
git-cola # gitg # interface pour utiliser git (historique, commit)
gitstats # génère un site web statique avec des statistiques
gitAndTools.gitFull # pour gitk
git-cola # interface pour utiliser git (historique, commit)
mercurial mercurial
subversion subversion
## Haskell ## Haskell
ghc ghc # pour les appels depuis les scripts
stack stack
## Rust ## Rust
cargo # récupération des dépendances + compilation projet rust cargo # récupération des dépendances + compilation projet rust
rustPlatform.rustc rustPlatform.rustc # pour les appels depuis les scripts
## Visualisation & outils de diff ## Visualisation & outils de diff
gource gource # visualisation en mouvement de l'historique git
meld meld # outil de comparaison graphique
vbindiff # diff de fichier hexadecimaux avec vim vbindiff # diff de fichier hexadecimaux avec vim
]; ];
} }

Loading…
Cancel
Save