Commit Graph

56 Commits (master)

Author SHA1 Message Date
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