This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Text.Parsec | |
import Text.Parsec.String | |
test = parse myParser "" "blablaprefixTsuffixbla" | |
myParser :: Parser String | |
myParser = do | |
manyTill letter (string "prefix") | |
manyTill letter (string "suffix" >> many letter) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ curl elasticsearch.waziup.io/mvp-agriculture-weather1-2017.06.23/_search | jq "." | |
{ | |
"took": 3, | |
"timed_out": false, | |
"_shards": { | |
"total": 5, | |
"successful": 5, | |
"failed": 0 | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"took": 1, | |
"timed_out": false, | |
"_shards": { | |
"total": 5, | |
"successful": 5, | |
"failed": 0 | |
}, | |
"hits": { | |
"total": 9948, |
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Loading stack ghci --test --bench --no-load --ghci-options=-fno-code --ghci-options=-fno-break-on-exception --ghci-options=-fno-break-on-error --ghci-options=-v1 --ghci-options=-ferror-spans --ghci-options=-j ... | |
%STDERR: | |
%STDOUT2: | |
%STDERR: Warning: Specified source-dir "app" does not exist | |
%STDOUT2: Warning: Specified source-dir "app" does not exist | |
Warning: Specified source-dir "app" does not exist | |
%STDERR: | |
%STDOUT2: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ec2-user@ip-10-0-1-146 ~]$ docker logs ecs-LearningCenter-13-solution-lab-eebe89a79d8ff0a25200 | |
2023/05/19 17:11:37 [ ] Connected to Database "postgres://postgres:admin@localhost:5432/learning-center". | |
2023/05/19 17:11:37 Wazicloud OpenId client id configured. User-registration with Wazicloud will be available. | |
2023/05/19 17:11:37 [ ] Found 45 users, 1 orgs, 8 modules, 24 courses and 126 topics in the database. | |
2023/05/19 17:11:37 [WARN ] Unsafe! A default admin password has been set. | |
2023/05/19 17:11:37 [ ] Setup completed. | |
2023/05/19 17:11:37 [ ] Listening on "0.0.0.0:8086". | |
2023/05/19 17:46:23 [INFO ] User unenroled from course. User=a6ea5a06-cdb2-461b-b033-a2dea60cf72a Course=15FOWglPdU2 | |
2023/05/19 17:46:55 [INFO ] User enroled in course. User=a6ea5a06-cdb2-461b-b033-a2dea60cf72a Course=3uIYSLnoFNS | |
2023/05/19 19:47:13 [INFO ] User enroled in course. User=64616f6b-8cc5-42d1-a7c7-7f03b794672f Course=a544uaLL47y |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
cdupont@cdupont-server:~$ docker logs wazilab | |
2023/05/26 12:39:30 [ ] Connected to Database "postgres://postgres:admin@postgres:5432/wazilab". | |
2023/05/26 12:39:30 Wazicloud OpenId client id configured. User-registration with Wazicloud will be available. | |
2023/05/26 12:39:30 [ ] Found 1 users, 1 orgs, 8 modules, 24 courses and 123 topics in the database. | |
2023/05/26 12:39:30 [WARN ] Unsafe! A default admin password has been set. | |
2023/05/26 12:39:30 [ ] Setup completed. | |
2023/05/26 12:39:30 [ ] Listening on "0.0.0.0:8467". | |
2023/05/26 12:40:37 [ ] Cloning GitHub respository... | |
2023/05/26 12:41:27 [ ] Cleaning database... | |
2023/05/26 12:41:27 [ ] Importing content... |