fish-shell/share/tools/web_config
Fabian Homborg e332555596 Webconfig: Remove dependency on cgi module
This is slated for removal in python 3.10, see
https://www.python.org/dev/peps/pep-0594/#cgi.

We currently only use it for three things:

- escape_html in old python versions that didn't have that in the html
  module
- Parsing multipart/form-data
- Figuring out the charset for json

We keep the first one - if loading escape_html from html fails we fall
back to cgi.

We remove the second - I can't find any case where we use
multipart/form-data. Any place we post data we either explicitly pass
application/x-www-form-urlencoded or implicitly use application/json.

The third is the tricky bit. This drops charset detection under the
assumption that we're never going to encounter anything other than
utf-8 (or ascii, which is a utf-8 subset). I'm not sure that holds,
but if it doesn't we can just add a regex to parse the charset.
2021-01-03 15:16:47 +01:00
..
js Webconfig: Fix customizing ayu themes 2021-01-02 16:22:12 +01:00
partials web_config/colors: Fix div tag 2020-12-10 16:27:00 +01:00
sample_prompts Make prompts forward compatible with fish 3.1.2 by passing locally exported variable 2020-09-05 09:58:55 +02:00
delete.png Lossless recompress of images with pngcrush+zopfli 2016-06-18 10:03:26 -07:00
favicon.png Add favicon for web config 2015-07-12 15:06:56 -07:00
fishconfig.css Reformat web_config css with prettier 2020-12-10 16:27:00 +01:00
index.html Webconfig: Let theme match help and fishshell.com 2020-12-04 17:08:45 +01:00
webconfig.py Webconfig: Remove dependency on cgi module 2021-01-03 15:16:47 +01:00