Anne Pacalet
  • GitHub
  • Notes
  • Présentation

vim

  • Expressions régulières (vim et autres)
  • Vim et la sélection d'objet
  • Vim et le greffon syntastic
  • Vim et la correction orthographique
  • Vim en client/serveur
  • Ocamlmerlin sous vim
  • COQ : un assistant de preuve formelle
  • Vim : le meilleur éditeur du monde
Tags
- tous -
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
- toutes -
  • 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
retour en haut
A propos
Généré par hugo et un thème personel.