Messages postés par "Gil Cot"
3 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
| lundi 21 novembre 2022 à 12h50 | > je trouve que ça commence franchement à sentir la naphtaline :D Mais c'est peut-être normal et ce n'est pas la faute à LaTeX qui continue pourtant d'être mis à jour (i.e. les nouvelles règles co… | |
| dimanche 20 novembre 2022 à 20h15 | > Je ne comprends pas bien comment il est possible que ce truc ait une influence sur la section placée 3 paragraphes plus loin Héhé. Les classes de base, celles Kroma et AMS entre autres, ont un … | |
| dimanche 20 novembre 2022 à 18h02 | Arf, j'ai mal lu. Peut-être https://tex.stackexchange.com/q/604794/23418 « The length before-sep is the vertical space before the paragraph but, very confusingly, after-sep is not the vertical space … | |
| dimanche 20 novembre 2022 à 15h59 | > de : https://latexref.xyz/_005csection.html Source: [Ksass\`Peuk](https://zestedesavoir.com/forums/sujet/16621/controler-lespace-avant-la-premiere-section-dun-chapitre/#p246873) Sur cette page,… | |
| dimanche 20 novembre 2022 à 04h02 | Je pensais qu'il s'agissait de rechercher un motif dans les fichiers modifiés, et m'étais demandé initialement pourquoi n'avoir pas passé le `grep` à `xargs` …ou sinon, t'as raison lxnv, il aurait fa… | |
| vendredi 18 novembre 2022 à 17h48 | > Comment pourrais-je arriver à quelque chose de mieux organisé ? Faire un MCD… Je vois, à priori, une table de liaison avec les champs : type/quoi (inscription, document, facture, etc.), date… | |
| vendredi 18 novembre 2022 à 14h37 | Attention que ton `grep` envoie les lignes qui matchent (ou ces lignes préfixé du nom du fichiers) alors que tu `xargs` est supposé donner des noms de fichiers à `cat` ```shell $ grep '.*' fichier… | |
|
coloration console/shell-session
plaidoyer pour des sessions plus consolantes |
vendredi 18 novembre 2022 à 11h33 | Bon, je découvre que c'est [Remark-Highlight et non Pygments](https://zestedesavoir.com/forums/sujet/3214/coloration-syntaxique-sur-du-php-interactif/?page=2#p246792) ; donc faut que je revérifie pou… |
| vendredi 18 novembre 2022 à 11h18 | > ZMarkdown ne se base pas sur pygments mais sur remark-highlight. Arf ! J'ai été induit en erreur par [la doc](https://zestedesavoir.com/tutoriels/249/rediger-sur-zds/#bloc-de-code) dont il faud… | |
|
coloration console/shell-session
plaidoyer pour des sessions plus consolantes |
vendredi 18 novembre 2022 à 11h15 | J'ai vu qu'il y a le type de langage « console » qui rend comme suit ([pratiquement une inversion couleurs par rapport au type « text » de base](https://zestedesavoir.com/forums/sujet/11081/langage-c… |
| vendredi 18 novembre 2022 à 09h45 | Je teste… ```psysh php > echo ($a + (int) $b)."\n"; 5 php > echo gettype($a + (int) $b)."\n"; integer // Le résultat est un entier, maintenant ! ``` …la coloration de [PsySH](https://psysh… | |
| jeudi 17 novembre 2022 à 20h16 | > > > Je ne suis pas contre cette option cependant en quoi plusieurs lignes permettraient de régler le problème ? > > Ensuite, ça permet de bien structurer ce que tu fais, des structures de contrôle… | |
| jeudi 17 novembre 2022 à 17h17 | > Pour pouvoir utiliser `xargs` avec `-0`, qui signifie que les noms de fichiers sont transmis comme des chaînes C, il faut utiliser `grep` avec `--null` ou l'équivalent de ton implémentation. So… | |
| jeudi 17 novembre 2022 à 00h02 | Pour pouvoir utiliser `xargs` avec `-0`, qui signifie que les noms de fichiers sont transmis comme des chaînes C, il faut utiliser `grep` avec `--null` ou l'équivalent de ton implémentation. Ceci… | |
|
Quiz : le come-back du retour de la revanche
Mais cette fois-ci on a un truc qui marche :p |
jeudi 10 novembre 2022 à 12h20 | En y repensant, pour faire plus simple il ne faut [qu'une forme de regexp : celle du langage de traitement](https://docs.python.org/3/howto/regex.html). Pour le codage des types, je vois bien un t… |
|
LoRdi : se passer de Windows ?
Plus qu'un... |
mardi 08 novembre 2022 à 20h29 | > > Curieusement tu pointes un problème du Microsoft Store sans le connaitre : Microsoft ne veut tellement pas maintenir un logiciel de gestion de paquets que le principal problème du Store est juste… |
|
LoRdi : se passer de Windows ?
Plus qu'un... |
mardi 08 novembre 2022 à 15h48 | > > Mon entreprise m'a fait installer un macOS et le champ était obligatoire. 🤷 > > S'il y avait un bouton, je l'ai peut-être loupé mais il devait être caché. > Source:[ache](https://zestedesavoi… |
|
LoRdi : se passer de Windows ?
Plus qu'un... |
mardi 08 novembre 2022 à 10h34 | > > Il faut voir aussi s’il y a un contrat sur LoRdi, notamment si vous avez du support de la région et des contraintes par rapport au système d’information de l’école. > > Bonne idée, je vais en… |
|
LoRdi : se passer de Windows ?
Plus qu'un... |
lundi 07 novembre 2022 à 22h12 | Il y a VLC et je crois Acrobat Reader sous Linux (ce dernier n'est pas dans les dépôts officiels.) Il te faut commencer par faire la liste des logiciels dont tu as besoin, pendant les cours et pour … |
| samedi 05 novembre 2022 à 14h02 | > Quitte à avoir une discussion publique, il est plus utile que ce soit sur le site concerné dans ce cas non ? :) Source:[Gil Cot](https://zestedesavoir.com/forums/sujet/16579/linuxfr-apparition-de… | |
| samedi 05 novembre 2022 à 13h36 | Quitte à avoir une discussion publique, il est plus utile que ce soit sur le site concerné dans ce cas non ? :) |