2019-10-05 19:49:01 -06:00
|
|
|
---
|
|
|
|
|
title: Grep Dict
|
|
|
|
|
scripts:
|
|
|
|
|
- grepdict.js
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
Ever wanted to run `grep` on `/usr/share/dict/words`,
|
|
|
|
|
but you only have a phone?
|
|
|
|
|
Me too.
|
|
|
|
|
|
2019-10-26 16:05:15 -06:00
|
|
|
<!-- <label for="regexp">Match Regex</label>: -->
|
2019-10-05 19:49:01 -06:00
|
|
|
<input id="regexp" type="search" disabled="true" value="loading...">
|
2019-10-26 16:05:15 -06:00
|
|
|
<button id="anchor">^$</button>
|
2019-10-05 19:49:01 -06:00
|
|
|
|
|
|
|
|
<ul id="matches"></ul>
|
