minor reformatting

This commit is contained in:
Emmanuel Viennet 2022-10-26 10:26:53 +02:00
parent 3ba3c4723c
commit 23312d1540
4 changed files with 29 additions and 14 deletions

View File

@ -45,7 +45,7 @@ serveur de test de l'extérieur).
Modifier la config réseau via l'UI graphique de VirtualBox, la VM étant éteinte. 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.
@ -60,7 +60,7 @@ Dans le Debian, j'utilise `/etc/network/interfaces`
iface enp0s3 inet dhcp iface enp0s3 inet dhcp
(le `enp0s3` désigne chez moi l'`Adapter 1`, mais c'est susceptible de changer. (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 Pour lancer l'interface externe , quand on a besoin d'accéder à Internet depuis
la VM: la VM:
@ -72,16 +72,14 @@ avec connexion permanente, vous pouvez dans Debian activer cette interface
constamment (modifier `/etc/network/interfaces`). constamment (modifier `/etc/network/interfaces`).
### Noms des machines ### 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 192.168.12.10 scodoc scodoc.dev.net
### Partage de fichiers ### Partage de fichiers
Pour éditer votre code au chaud sur votre hôte, il y a plein de solutions. 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 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 Code propose un module dédié très simple et performant, mais tout montage de
type `sshfs`peut aussi faire l'affaire). type `sshfs`peut aussi faire l'affaire).

View File

@ -176,7 +176,16 @@ qui n'existaient pas dans ScoDoc 9.2:
## Cas d'usage ## Cas d'usage
### UEs à afficher sur les bulletins individuels ### 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 ### UEs à afficher sur les tableaux récap. de semestre
TODO TODO

View File

@ -124,8 +124,8 @@ accès avec des droits restreints au département indiqué).
#### Authentification #### Authentification
Lors de votre authentification (_connection avec login et mdp_) à Scodoc, il Lors de votre authentification (*connexion avec login et mdp*) à Scodoc, il
vous sera attribué un jeton (token jwt _généré automatiquement_) vous permettant vous sera attribué un jeton (token jwt *généré automatiquement*) vous permettant
d'utiliser l'api suivant les droits correspondant à votre session. d'utiliser l'api suivant les droits correspondant à votre session.
Pour obtenir le jeton, il faut un compte sur ScoDoc (`user_name`et `password`). Pour obtenir le jeton, il faut un compte sur ScoDoc (`user_name`et `password`).

View File

@ -26,3 +26,11 @@ div.md-sidebar--secondary div.md-sidebar__scrollwrap {
margin-block-start: 0px; margin-block-start: 0px;
margin-top: 0px; margin-top: 0px;
} }
.md-main h3:after {
content: " ¶";
font-family: "Libre Franklin", Arial, sans-serif;
font-weight: normal !important;
color: "#990000";
/* "\00B6";*/
}