 Michele Guerini Rocco
|
61d91f1e07
|
cabal: increase version number
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
cca7577aa9
|
default.nix: update static compiler
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
1b39e2b060
|
update copyright year
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
492be78d5a
|
ignore cabal2nix generated file
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
dbeabf939f
|
ignore Nix result link
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
2ddb95ac0d
|
ignore cabal v2 build directory
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
9ae6058851
|
turn on GHC optimisations
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
6f371de3aa
|
fix some warnings
|
2022-01-11 01:22:39 +01:00 |
|
Michele Guerini Rocco
|
05e930a0a5
|
add option to bypass locks
|
2022-01-11 01:02:09 +01:00 |
|
Michele Guerini Rocco
|
41feee9b37
|
warn about failed actions
|
2021-09-07 15:00:55 +02:00 |
|
Michele Guerini Rocco
|
a0c17c434a
|
add --version option
|
2021-09-07 15:00:55 +02:00 |
|
Michele Guerini Rocco
|
3b6ad40a02
|
doc: add manual pages
|
2021-09-07 15:00:55 +02:00 |
|
Michele Guerini Rocco
|
d131fc510e
|
cabal: increase version number
|
2021-09-07 11:25:12 +02:00 |
|
Michele Guerini Rocco
|
e16a6e42d6
|
improve release setup
- use a build flag to turn on static system libraries
- generate shell completion scripts
- externalise the generate cabal2nix function
|
2021-09-07 11:24:56 +02:00 |
|
Michele Guerini Rocco
|
2fcb4eae1e
|
README: mention the new options
|
2021-09-07 01:55:26 +02:00 |
|
Michele Guerini Rocco
|
6c3e5a5c4e
|
change verb when dry-running
|
2021-09-07 01:55:26 +02:00 |
|
Michele Guerini Rocco
|
cfe3ac83eb
|
cabal: build with -Wall
|
2021-09-07 01:55:26 +02:00 |
|
Michele Guerini Rocco
|
5de13cdc3d
|
add config and dry-run options
|
2021-09-07 01:55:26 +02:00 |
|
Michele Guerini Rocco
|
892d46f005
|
cabal: increase version
|
2021-09-06 08:25:10 +02:00 |
|
Michele Guerini Rocco
|
343136536f
|
Fix issue #6
Avoid generating a large SQL query by making the patterns an ad-hoc table
|
2021-09-06 01:26:38 +02:00 |
|
Michele Guerini Rocco
|
217530d113
|
fix package name clash
|
2021-05-12 08:43:18 +02:00 |
|
Michele Guerini Rocco
|
74c7db11a8
|
add Nix expression for static/cross compilation
|
2021-05-11 16:44:43 +02:00 |
|
Michele Guerini Rocco
|
26cdfa7994
|
configure static build
|
2021-05-11 16:43:31 +02:00 |
|
Michele Guerini Rocco
|
585ef3ca38
|
README: update the corruption situation
|
2021-05-10 22:36:19 +02:00 |
|
Michele Guerini Rocco
|
2371e91cbc
|
handle leveldb corruption
|
2021-05-10 22:20:28 +02:00 |
|
Michele Guerini Rocco
|
9d8ea96447
|
catch all IO exception
|
2021-05-10 22:20:27 +02:00 |
|
Michele Guerini Rocco
|
9562a20b83
|
cabal: increase version number
This update is probably big enough for a new minor.
|
2021-03-24 11:47:13 +01:00 |
|
Michele Guerini Rocco
|
466b790861
|
README: fix missing word
|
2021-03-24 11:46:55 +01:00 |
|
Michele Guerini Rocco
|
0ace6d397c
|
cabal: update synposis/description
|
2021-03-24 11:41:50 +01:00 |
|
Michele Guerini Rocco
|
0e80367c30
|
README: add more detailed informations
|
2021-03-24 11:41:50 +01:00 |
|
Michele Guerini Rocco
|
d0cd6cd456
|
make leveldb handling more resilient
|
2021-03-24 11:21:33 +01:00 |
|
Michele Guerini Rocco
|
0ab048b795
|
rewrite deleteLocalStorage using streams
|
2021-03-24 11:21:33 +01:00 |
|
Michele Guerini Rocco
|
a074cad2fe
|
implement session storage
|
2021-03-24 11:21:33 +01:00 |
|
Michele Guerini Rocco
|
3482f59d1e
|
update copyright notice
|
2021-03-24 11:21:31 +01:00 |
|
Michele Guerini Rocco
|
8a62391041
|
implement new local storage
|
2021-03-24 11:21:04 +01:00 |
|
Michele Guerini Rocco
|
a400ffdc63
|
general cleanup
|
2021-03-24 11:21:04 +01:00 |
|
Michele Guerini Rocco
|
ee51a8493f
|
README: fix example configuration
|
2020-10-22 04:25:59 +02:00 |
|
Michele Guerini Rocco
|
78a99460ac
|
README: add install instructions
|
2020-09-24 09:15:58 +02:00 |
|
Michele Guerini Rocco
|
b16ef6790d
|
increase version number
|
2019-08-22 16:15:02 +02:00 |
|
Michele Guerini Rocco
|
a1ede2f8f8
|
make constaints looser
|
2019-08-22 16:09:41 +02:00 |
|
Michele Guerini Rocco
|
d80d1579e4
|
increase version number
|
2019-06-26 10:57:30 +02:00 |
|
Michele Guerini Rocco
|
81ba9e3317
|
ignore default.nix
|
2019-06-26 10:57:30 +02:00 |
|
Michele Guerini Rocco
|
b62f7df8be
|
update default.nix
|
2019-06-26 10:21:01 +02:00 |
|
Michele Guerini Rocco
|
7d27d42342
|
increase version number
|
2019-06-02 11:51:13 +02:00 |
|
Michele Guerini Rocco
|
ff66f6705c
|
fix IndexedDB directories not being deleted
|
2019-06-02 11:51:13 +02:00 |
|
Michele Guerini Rocco
|
62953174b4
|
drop xdg-basedir dependency
|
2019-06-02 10:39:07 +02:00 |
|
Michele Guerini Rocco
|
d1ece3796d
|
add the README to tarballs
|
2019-03-25 00:25:18 +01:00 |
|
Michele Guerini Rocco
|
3df8206c6e
|
add source information
|
2019-03-25 00:25:18 +01:00 |
|
Michele Guerini Rocco
|
f2cfdafdc8
|
increase version number
|
2019-03-25 00:25:18 +01:00 |
|
Michele Guerini Rocco
|
7ee776b30f
|
explain config file in the README
|
2019-03-25 00:25:18 +01:00 |