Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
projet
VPLPP
Commits
ee73cd1d
Commit
ee73cd1d
authored
Dec 08, 2020
by
Guillaume Huard
Browse files
Renamed vpl to orgvpl
parent
99172706
Changes
3
Hide whitespace changes
Inline
Side-by-side
Methodology.org
View file @
ee73cd1d
...
...
@@ -69,23 +69,23 @@ d'écrire un programme qui affiche ="Hello world !"=.
Une fois cette activité écrite et stockée dans un fichier nommé =Hello.org=, il suffit de télécharger le
contenu du dépôt indiqué en préambule et d'ajouter son emplacement à votre =PATH=. Vous disposez
alors de la commande =vpl= permettant de :
alors de la commande =
org
vpl= permettant de :
- lancer localement l'activité comme le ferait un étudiant avec les boutons ='Run'=, ='Debug'= ou
='Evaluate'= :
#+BEGIN_SRC shell :exports code
vpl run Hello
org
vpl run Hello
#+END_SRC
ou
#+BEGIN_SRC shell :exports code
vpl debug Hello
org
vpl debug Hello
#+END_SRC
ou encore
#+BEGIN_SRC shell :exports code
vpl evaluate Hello
org
vpl evaluate Hello
#+END_SRC
- /uploader/ les fichiers de l'activité, ainsi que sa description :
#+BEGIN_SRC shell :exports code
vpl push Hello
org
vpl push Hello
#+END_SRC
* Les fichiers générés
...
...
@@ -125,7 +125,7 @@ L'évaluation locale supporte un mode de débogage similaire à celui disponible
='Basic system programming'=. Pour l'activer il suffit d'ajouter le mot clé ='debug'= à la
commande :
#+BEGIN_SRC shell :exports code
vpl evaluate debug Hello
org
vpl evaluate debug Hello
#+END_SRC
En mode de débogage, l'évaluation locale affiche la table de hachage obtenue après évaluation du
fichier =vpl_evaluate.cases= ainsi que davantage de sorties pour les tests réussis. En outre, tous
...
...
@@ -146,7 +146,7 @@ dans le répertoire =X= contenant l'identifiant de l'activité. L'activité devr
être créée manuellement au préalable.
La description de l'activité est générée au format html à partir du fichier =X.org= lors de
l'utilisation de la commande =vpl=. Elle est envoyée sur le serveur lors du push. Elle se trouve
l'utilisation de la commande =
org
vpl=. Elle est envoyée sur le serveur lors du push. Elle se trouve
dans le fichier =intro.html= du répertoire =X= et peut donc être consultée pour vérification avant
d'effectuer un =push=.
...
...
Loca
l_Makefile
→
OrgVp
l_Makefile
View file @
ee73cd1d
File moved
vpl
→
org
vpl
View file @
ee73cd1d
...
...
@@ -25,4 +25,4 @@ do
done
export
MODE
make
-f
$(
dirname
$0
)
/
Loca
l_Makefile
$1
make
-f
$(
dirname
$0
)
/
OrgVp
l_Makefile
$1
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment