This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# lynx-textfragment.patch | |
Lynx patch to support scroll to text fragment #:~:text= | |
## Limitations | |
* Not support prefix, suffix, textEnd, multiple text fragments(&). | |
* Not support word boundary. | |
(for example, | |
https://blog.chromium.org/2019/12/chrome-80-content-indexing-es-modules.html#:~:text=text | |
matches `context` before `text`) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Lynx patch to ignore xml encoding if charset is specified in Content-Type header | |
## Problem | |
Some sites (2chcopipe.com, digital-thread.com) use | |
incorrect <?xml encoding value. | |
Lynx displays garbled characters. | |
Content-Type: text/html; charset=euc-jp | |
... | |
<?xml version="1.0" encoding="UTF-8"?> |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
$ cat trips.json
[{"vendor":"car","path":[[139.8007914,35.5144044],[139.9108676,35.4396142]],"timestamps":[0,600]},{"vendor":"escooter","path":[[139.9108139,35.439529],[139.8008987,35.5140027]],"timestamps":[0,600]}]
$ curl https://raw.githubusercontent.com/visgl/deck.gl-data/master/examples/trips/trips-v7.json 2> /dev/null | jq -c 'map(select(.path[0][0] < -73.98 and .path[-1][0] < -73.98 and .path[0][0] > -74.02 and .path[-1][0] > -74.02 and .path[0][1] < 40.75 and .path[-1][1] < 40.75 and .path[0][1] > 40.70 and .path[-1][1] > 40.70))' | jq -c '.' > trips-v7_0.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<html> | |
<head> | |
<title>gzip on browser</title> | |
</head> | |
<body> | |
<input type="file" id="fileElem" multiple /> | |
<script> | |
const fileElem = document.getElementById("fileElem"); |
NewerOlder