Une liste des outils que j’utilise (ou que j’ai utilisé) dans divers domaines, avec les liens vers les notes associées.
Systèmes
- je travaille principalement sous linux,
- il m’arrive aussi d'être sous windows (en général contre mon gré <:o) )
- par ailleurs, mon téléphone et ma tablette sont sous android.
Développement
Langages
Voilà quelques notes aux sujet des principaux langages de programmation que j’utilise (même si occasionnellement, j’en ai testé bien d’autres).
Outils de développement
- Editeur : vim
- Gestion de version : (svn, mercurial), git
- Compilation : make
- Gestion de projet : trac, fossil
- Virtualisation : VirtualBox, docker
- Test : Jenkins, Ounit
Méthodes formelles
Autres
Documentation
Texte
Images
- gimp (voir quelques astuces)
- xfig
- Graphviz
- ImageMagick
- TikZ
- au sujet des couleurs
Internet/Web
- Navigateur : Firefox
- Courrier, agenda et carnet d’adresse : Thunderbird (serveur DAVical)
- Connexion à distance : ssh
- Fichiers dans les nuages: j’ai longtemps utilisé syncbox, mais maintenant, j’utilise plutôt NextCloud, ou carrément git
- Production et gestion de sites : dokuwiki, ikiwiki, txt2site
- Au sujet des droit d’accès: htaccess
- Moteurs de recherche : qwant, duckduckgo, ixquick, startpage, et parfois même parfois google, mais pas trop souvent… ;-)
- Collectionneur de lien : sharrli (ma collection qui est un peu délaissée ces temps ci…)
Voir aussi :
- Ocaml: mon principal langage de développement
- Jenkins : premiers pas
- Vim et le greffon syntastic
- Dokuwiki
- Firefox
- Thunderbird
- Perl pour faire des scripts efficaces
- C language and GCC compiler
- Ikiwiki : un générateur de wiki
- Trac : un outil de gestion de projet
- Mercurial : encore un gestionnaire de version
- Graphviz pour générer des graphes
- Bash : pour écrire des scripts
- Couleurs RGB
- Vim : le meilleur éditeur du monde
- SVN : gestion de version
- ImageMagick pour la manipulation d'images
- Make : aide mémoire
Table des matières
Tags
ack
acronymes
analyse_statique
android
apt-get
awk
bash
bits
boot
c
checksum
coq
couleurs
css
csv
cut
dessin
diff
disque
docbook
docker
documentation
dokuwiki
dot
développement
fenêtres
firefox
frama-c
fstab
ftp
gcc
gestion_de_projet
gestion_de_version
git
graph
graphe
grep
grub
gzip
heredoc
htaccess-réseau
html
ide
ikiwiki
imagemagick
images
imprimer
ip
jenkins
js-of-ocaml
langage
latex
linux
make
mercurial
merlin
nvidia
ocaml
ocamlfind
ocamlgraph
orthographe
outil
parallel
path
pdf
perl
pgp
preuve_formelle
regexp
réseau
script
sed
sphinx
sqlite
ssh
sudo
svg
svn
syncbox
syntastic
systeme
système
tableurs
tcp-ip
texte
thunderbird
tikz
time
trac
txt2tags
ubuntu
unix
usb
utf-8
vim
virtualbox
virtualisation
vnc
web
windows
xfce
xkcd
xml
xmlstarlet
xmodmap
xsd
xslt
xubuntu
zcat
zenity
éditeur
émoticône
Dernières notes
- Afficher un pourcentage dans une page HTML
- VNC : Virtual Network Computing
- Git : déménagement d'un dépôt
- Quelques liens au sujet de l'analyse statique
- Ocaml: mon principal langage de développement
- Disque dur externe
- Les profiles dans Firefox
- Cryptographie et mail sous Android
- Quelques liens au sujet du C
- Git rebase : pour diviser un commit