Commit 017a12e4 authored by Alexandre Delanoë's avatar Alexandre Delanoë

[FIX] script install.

parent 0acb0a1c
#!/bin/bash #!/bin/bash
if docker version; then if docker version;
: then
echo "Docker installed, ok"
else else
curl -sSL https://get.docker.com/ | sh curl -sSL https://get.docker.com/ | sh
fi fi
......
...@@ -297,7 +297,7 @@ getTableNgrams c cId maybeTabType maybeListId = do ...@@ -297,7 +297,7 @@ getTableNgrams c cId maybeTabType maybeListId = do
Sources -> Ngrams.Sources Sources -> Ngrams.Sources
Authors -> Ngrams.Authors Authors -> Ngrams.Authors
Institutes -> Ngrams.Institutes Institutes -> Ngrams.Institutes
Terms -> Ngrams.Sources Terms -> Ngrams.NgramsTerms
_ -> panic $ lieu <> "No Ngrams for this tab" _ -> panic $ lieu <> "No Ngrams for this tab"
listId <- case maybeListId of listId <- case maybeListId of
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment