Skip to content

Instantly share code, notes, and snippets.

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)
$ curl elasticsearch.waziup.io/mvp-agriculture-weather1-2017.06.23/_search | jq "."
{
"took": 3,
"timed_out": false,
"_shards": {
"total": 5,
"successful": 5,
"failed": 0
},
{
"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.
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:
[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
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...