ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

updating documentation to include references to new example filling method.

Browse Source
This commit is contained in:
Robert Tice
2018-04-20 10:15:47 -04:00
parent 80c5478fdc
commit c20c0cc803
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@@ -30,6 +30,11 @@ To enter some examples in the database, do this:
./manage.py fill_examples --dir=resources/example/hello_world
```
To enter many examples in the database where the examples are listed in a yaml file, do this:
```sh
./manage.py fill_examples --conf=resources/test_conf.yaml
```
To enter some books in the database, do this:
```sh
./manage.py fill_books --dir=resources/books/example

9
design/notes.txt
View File

@@ -38,7 +38,7 @@ curl -H 'Accept: application/json; indent=4' http://127.0.0.1:8000/examples/ --h
# Import Yannick's examples #
#############################
# TODO: add a facility to do this
# TODO: add a facility to do this (see better method below)
# Setup:
cd resources ; git clone https://github.com/AdaCore/Compile_And_Prove_Demo.git
@@ -48,6 +48,13 @@ cd resources ; git clone https://github.com/AdaCore/Compile_And_Prove_Demo.git
list="hello_world absolute_value bitwise_swap saturate_angle sensor_average strings communications landing_procedure"
for a in $list; do ./manage.py fill_examples --dir=resources/Compile_And_Prove_Demo/examples/$a ; done
################################################
# Import Yannick's examples: The Better Method #
################################################
./manage.py fill_examples --remove_all
./manage.py fill_exmaples --conf=resources/test_conf.yaml
################
# Import books #
################