From 605730148287a647a09960f14fcbf6a073f6f4b2 Mon Sep 17 00:00:00 2001 From: viennet Date: Wed, 26 Oct 2022 10:26:53 +0200 Subject: [PATCH] minor reformatting --- docs/ConseilServeurDev.md | 20 +++++++++----------- docs/ModelisationParcoursBUT.md | 11 ++++++++++- docs/ScoDoc9API.md | 4 ++-- docs/stylesheets/extra.css | 8 ++++++++ 4 files changed, 29 insertions(+), 14 deletions(-) diff --git a/docs/ConseilServeurDev.md b/docs/ConseilServeurDev.md index 76199b2..aa104e1 100644 --- a/docs/ConseilServeurDev.md +++ b/docs/ConseilServeurDev.md @@ -2,12 +2,12 @@ Quelques indications pour développer avec ScoDoc, à adapter à vos goûts et outils. -Commencez par lire -[Installation du code pour lesdéveloppeurs](https://scodoc.org/git/ScoDoc/ScoDoc#pour-les-d%C3%A9veloppeurs) +Commencez par lire +[Installation du code pour les développeurs](https://scodoc.org/git/ScoDoc/ScoDoc#pour-les-d%C3%A9veloppeurs) # Machine virtuelle -Il est confortable de développer dans une VM (un container Docker ferait +Il est confortable de développer dans une VM (un container Docker ferait aussi bien l'affaire). ## Conseils pour la machine virtuelle @@ -45,9 +45,9 @@ serveur de test de l'extérieur). Modifier la config réseau via l'UI graphique de VirtualBox, la VM étant éteinte. - - `Adapter 1` : accès à la VM depuis l'hôte: réseau privé hôte vboxnet0 +- `Adapter 1` : accès à la VM depuis l'hôte: réseau privé hôte `vboxnet0` - - `Adapter 2` : accès à Internet depuis la VM, configurer un interface réseau NAT. +- `Adapter 2` : accès à Internet depuis la VM, configurer un interface réseau NAT. Dans le Debian, j'utilise `/etc/network/interfaces` @@ -60,7 +60,7 @@ Dans le Debian, j'utilise `/etc/network/interfaces` iface enp0s3 inet dhcp (le `enp0s3` désigne chez moi l'`Adapter 1`, mais c'est susceptible de changer. -Normalement, l'installeur a créé ce fichier ) +Normalement, l'installateur a créé ce fichier ) Pour lancer l'interface externe , quand on a besoin d'accéder à Internet depuis la VM: @@ -72,16 +72,14 @@ avec connexion permanente, vous pouvez dans Debian activer cette interface constamment (modifier `/etc/network/interfaces`). ### Noms des machines -Modifier le `/etc/hosts` (ou équivalent) de l'hôte, et y ajouter l'IP de votre VM, par exemple (adapter l'IP !): +Modifier le `/etc/hosts` (ou équivalent) de l'hôte, et y ajouter l'IP de votre +VM, par exemple (adapter l'IP !): 192.168.12.10 scodoc scodoc.dev.net - ### Partage de fichiers + Pour éditer votre code au chaud sur votre hôte, il y a plein de solutions. La plus simple, déjà mentionnée, consiste à passer par une connexion SSH (VS Code propose un module dédié très simple et performant, mais tout montage de type `sshfs`peut aussi faire l'affaire). - - - diff --git a/docs/ModelisationParcoursBUT.md b/docs/ModelisationParcoursBUT.md index 57f9911..0e3da39 100644 --- a/docs/ModelisationParcoursBUT.md +++ b/docs/ModelisationParcoursBUT.md @@ -176,7 +176,16 @@ qui n'existaient pas dans ScoDoc 9.2: ## Cas d'usage ### UEs à afficher sur les bulletins individuels -TODO + +#### En ScoDoc 9.3.55 (ssi ref. comp. associé) + +On part de `ResultatsSemestreBUT.ues`, qui est la version cachée de +`formsemestre.query_ues()` (toutes les UE du semestre) que l'on filtre +avec `ResultatsSemestreBUT.etud_ues_ids(etudid)`: liste des id d'UE auxquelles +l'étudiant est inscrit (sans bonus). + +`etud_ues_ids()` accède à `ResultatsSemestreBUT.ues_inscr_parcours_df`, la +matrice d'inscriptions `(etuds, ue)`. ### UEs à afficher sur les tableaux récap. de semestre TODO diff --git a/docs/ScoDoc9API.md b/docs/ScoDoc9API.md index 94990ee..0c8d235 100644 --- a/docs/ScoDoc9API.md +++ b/docs/ScoDoc9API.md @@ -124,8 +124,8 @@ accès avec des droits restreints au département indiqué). #### Authentification -Lors de votre authentification (_connection avec login et mdp_) à Scodoc, il -vous sera attribué un jeton (token jwt _généré automatiquement_) vous permettant +Lors de votre authentification (*connexion avec login et mdp*) à Scodoc, il +vous sera attribué un jeton (token jwt *généré automatiquement*) vous permettant d'utiliser l'api suivant les droits correspondant à votre session. Pour obtenir le jeton, il faut un compte sur ScoDoc (`user_name`et `password`). diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index fd7da62..58c909e 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -25,4 +25,12 @@ div.md-sidebar--secondary div.md-sidebar__scrollwrap { .md-content h3+p { margin-block-start: 0px; margin-top: 0px; +} + +.md-main h3:after { + content: " ¶"; + font-family: "Libre Franklin", Arial, sans-serif; + font-weight: normal !important; + color: "#990000"; + /* "\00B6";*/ } \ No newline at end of file