summaryrefslogtreecommitdiff
path: root/Pancake/Configuration.hs
AgeCommit message (Collapse)Author
2019-02-17Fix default URIs for Gopher searchesdefanor
Newer curl versions don't translate "?" into "%09", and it should be "%09".
2018-02-08Introduce pandoc timeoutsdefanor
Sometimes pandoc takes unreasonably long time to parse a document (though it warns about that in the documentation), so a safeguard is needed.
2018-01-15Add CiteSeerX searchdefanor
2018-01-11Set curl's user agent to pancake by defaultdefanor
Some websites, e.g. acm.org, block clients that identify themselves as curl.
2018-01-01Update copyright yearsdefanor
2017-12-28Install and enable a few uncluttering XSLTs by defaultdefanor
2017-12-22Refine documentation annotations and function namesdefanor
2017-12-19Enable a user to specify a configuration filedefanor
This covers both command-line options and the "load config" (former "reload config") command.
2017-12-13Add uncluttering/XSLT supportdefanor
2017-12-11Improve code style in a couple of placesdefanor
- `sum lens /= 0` implies `length lens /= 0`, so no need to check the latter after the former. - Don't use `concat` for just two elements.
2017-12-06Add a web.archive.org shortcut into the default configurationdefanor
Finding the last HTTP 200 response via the availability API, so a dummy "web-archive" scheme is added into the default configuration in order to use a custom command. The URI_ESCAPED environment variable is also introduced, though not used here -- but may be handy for similar custom commands.
2017-12-06Run curl with --compressed by defaultdefanor
Otherwise it fails on pages that are only available with compression.
2017-11-28Prepend license notices to source filesdefanor
2017-11-24Make div indentation optionaldefanor
2017-11-23Allow user-defined digits and radices for reference numberingdefanor
2017-11-08Add dir.xiph.org search and xspf/m3u handlingdefanor
2017-11-05Add Project Gutenberg search shortcut into the default configurationdefanor
2017-11-05Read metadatadefanor
Reading effective URI and content type (if those are available) now, aiming `curl -w` or similar commands. Not a particularly nice way, and complicates both the program and the configuration, but sometimes file name extensions are deceptive.
2017-11-05Split into modulesdefanor