mirroir readonly du Gitit wiki.evolix.org (attention, ne rien commiter/merger sur ce dépôt) https://wiki.evolix.org
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

3.6 KiB

categories toc title
network web false Conventions pour le wiki Evolix
categories: network web
toc: no
title: Haskell and Category Theory
...

Syntaxe

Voir Help#markdown

Commandes Shell (sans output) :

~~~{.bash}
$ apt-cache search foo
# apt install foo
~~~

Commandes Shell (avec output) :

~~~
$ dmesg
[8044916.823878] [IPTABLES DROP] : IN=eth0 OUT= MAC=00:00:00:28:71:00:00:54:00:8f:01:00:00:00 SRC=192.0.2.1 [...]
~~~

Fichiers avec coloration syntaxique si disponible (voir ci-dessous) :

~~~{.apache}
ServerName www.example.com
~~~~

Liens externes :

<http://www.example.com/>
[Lien vers Example](http://www.example.com/)

Liens internes :

[HowtoFoo]()
[HowtoFoo#name]()
[#name]()

Syntaxes Markdown

italique gras barré H~2~O m^2^

Pour forcer un saut de ligne : terminer sa ligne avec deux espaces !

Conventions

Une commande lancée en root sera précédée de # ; en utilisateur elle sera précédée de $. Dans la mesure du possible, le maximum de commande devra être lancée en tant qu'utilisateur.

$ apt-cache search foo
# apt install foo

On évitera d'avoir des lignes trop longues dans les commandes Shell ou fichiers sur le wiki, car cela devient illisible en HTML. On mettra ainsi les commandes Shell sur plusieurs lignes si besoin, on utilisera [...] si nécessaire, etc.

Si l'on doit utiliser un utilisateur quelconque, on utilisera le login jdoe (pour John Doe).

Si l'on doit mentionner un mot de passe, on choisira PASSWORD (en majuscule).

Si l'on doit mentionner un fichier quelconque, on choisira FICHIER (en majuscule).

Si l'on doit utiliser un terme quelconque, on privilégiera foo et bar. Ainsi, pour un chemin quelconque, on utilisera par exemple cp /foo/FICHIER /bar/

Si l'on utilise des adresses IP, on utilisera des IPv4 en 192.0.2.0/24 RFC5737 et des IPv6 en 2001:db8::/32 RFC3849

Les adresses IPv6 et les adresses MAC auront leurs caractères alphabétiques en minuscule.

Si l'on utilise des noms de domaine, on utilisera example.com RFC2606 notamment pour les emails, URLs ou serveurs à atteindre.

Pour relancer un service : /etc/init.d/foo restart OU systemctl restart foo (??)

Coloration syntaxique

$ ./.cabal/bin/pandoc -v
pandoc 1.17.2
Compiled with texmath 0.8.6.5, highlighting-kate 0.6.2.1.
Syntax highlighting is supported for the following languages:
    abc, actionscript, ada, agda, apache, asn1, asp, awk, bash, bibtex, boo, c,
    changelog, clojure, cmake, coffee, coldfusion, commonlisp, cpp, cs, css,
    curry, d, diff, djangotemplate, dockerfile, dot, doxygen, doxygenlua, dtd,
    eiffel, elixir, email, erlang, fasm, fortran, fsharp, gcc, glsl,
    gnuassembler, go, hamlet, haskell, haxe, html, idris, ini, isocpp, java,
    javadoc, javascript, json, jsp, julia, kotlin, latex, lex, lilypond,
    literatecurry, literatehaskell, llvm, lua, m4, makefile, mandoc, markdown,
    mathematica, matlab, maxima, mediawiki, metafont, mips, modelines, modula2,
    modula3, monobasic, nasm, noweb, objectivec, objectivecpp, ocaml, octave,
    opencl, pascal, perl, php, pike, postscript, prolog, pure, python, r,
    relaxng, relaxngcompact, rest, rhtml, roff, ruby, rust, scala, scheme, sci,
    sed, sgml, sql, sqlmysql, sqlpostgresql, tcl, tcsh, texinfo, verilog, vhdl,
    xml, xorg, xslt, xul, yacc, yaml, zsh