Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | pkgs/profpatsch/display-infos: add dottime | Profpatsch | 2020-06-02 | 1 | -2/+4 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | https://dotti.me/ DOT-TIME(7) TIME FORMATS DOT-TIME(7) NAME dot-time - a universal convention for conveying time DESCRIPTION For those of us who travel often or coordinate across many timezones, working with local time is frequently impractical. ISO8601, in all its wisdom, allows for time zone designators, but still represents the hours and minutes as local time, thus making it inconvenient for quickly comparing timestamps from different locations. Dot time instead uses UTC for all date, hour, and minute indications, and while it allows for time zone designators, they are optional infor‐ mation that can be dropped without changing the indicated time. It uses an alternate hour separator to make it easy to distinguish from regular ISO8601. When a time zone designator is provided, one can easily obtain the matching local time by adding the UTC offset to the UTC time. EXAMPLES These timestamps all represent the same point in time. ┌─────────────────────┬─────────────────────┐ │ dot time │ ISO8601 │ ├─────────────────────┼─────────────────────┤ │ 2019-06-19T22·13-04 │ 2019-06-19T18:13-04 │ ├─────────────────────┼─────────────────────┤ │ 2019-06-19T22·13+00 │ 2019-06-19T22:13+00 │ ├─────────────────────┼─────────────────────┤ │ 2019-06-19T22·13+02 │ 2019-06-20T00:13+02 │ └─────────────────────┴─────────────────────┘ 2019-06-19 DOT-TIME(7) | ||||
* | pkgs/profpatsch: add binify helper | Profpatsch | 2020-06-02 | 1 | -1/+15 |
| | |||||
* | pkgs/profpatsch: writeRustSimple, wrapper around buildRustCrate | Profpatsch | 2020-06-02 | 2 | -0/+49 |
| | |||||
* | pkgs/profpatsch/encode: add function for printing T values | Profpatsch | 2020-06-02 | 1 | -1/+52 |
| | |||||
* | pkgs/profpatsch/encode: put parser in submodule | Profpatsch | 2020-06-02 | 2 | -284/+282 |
| | |||||
* | pkgs/profpatsch/encode: initial rust parser | Profpatsch | 2020-06-02 | 2 | -0/+381 |
| | | | | Uses the nom parsing combinator library. | ||||
* | pkgs/profpatsch/encode: listify spec examples | Profpatsch | 2020-06-02 | 1 | -21/+21 |
| | |||||
* | pkgs/profpatsch/encode: change number format and defined records | Profpatsch | 2020-06-02 | 1 | -19/+26 |
| | | | | | | | | | Change the number format to be more concise, working in steps of 2^n, going from 2^1 (1 bit) to 2^9 (512 bits), though implementations are free to define the biggest numbers they want to support. Records get the marker `{` and are closed by `}`, so parens match up nicely, similar to lists. | ||||
* | pkgs/profpatsch: alpha-grade encode spec | Profpatsch | 2020-06-01 | 1 | -0/+81 |
| | |||||
* | pkgs/profpatsch/xdg-open: make possible to parse protocols | Profpatsch | 2020-05-11 | 2 | -60/+101 |
| | | | | | | | | This is now on par with the original script in https://github.com/Profpatsch/dotfiles/blob/a25c6c419525bef7ef5985f664b058dc9eb919e9/scripts/scripts/xdg-open Eventually it should probably migrate away from a generated bash script, but for now it’s fine. | ||||
* | pkgs/profpatsch/dhall-flycheck: update to dhall 1.31.0 | Profpatsch | 2020-05-11 | 1 | -2/+3 |
| | |||||
* | pkgs/profpatsch/xdg-open: implement special commands | Profpatsch | 2020-05-10 | 3 | -30/+73 |
| | |||||
* | pkgs/profpatsch: add xdg-open, WIP | Profpatsch | 2020-05-09 | 12 | -0/+322 |
| | |||||
* | pkgs/profpatsch: add importDhall/importDhall2/readDhallFileAsJson | Profpatsch | 2020-05-09 | 2 | -0/+68 |
| | | | | | | Like a normal `import`, but for dhall files. `importDhall2` can additionally handle dependencies and additional source files, though the interface is not stable yet. | ||||
* | pkgs/profpatsch: add exactSource | Profpatsch | 2020-05-09 | 2 | -0/+86 |
| | |||||
* | pkgs/profpatsch: update dhall-flycheck | Profpatsch | 2020-05-09 | 1 | -4/+5 |
| | |||||
* | pkgs/profpatsch: update easy-dhall-nix, add dhall-json | Profpatsch | 2020-05-09 | 1 | -2/+3 |
| | |||||
* | pkgs/profpatsch: add buildDhallPackage | Profpatsch | 2020-05-09 | 2 | -0/+71 |
| | |||||
* | pkgs/profpatsch: bump utils-hs | Profpatsch | 2020-04-04 | 1 | -2/+2 |
| | |||||
* | machines/shiki: add zoomboxed | Profpatsch | 2020-03-26 | 1 | -3/+1 |
| | | | | Filesystem sandbox around zoom-us. | ||||
* | Mostly implement nice completion for dhall | Profpatsch | 2020-02-24 | 9 | -126/+235 |
| | | | | | A few bugs are still remainaing, but it can recognize when files should be completed for example. | ||||
* | completion: move to Completion module & factor out types | Profpatsch | 2020-02-24 | 3 | -23/+22 |
| | |||||
* | completion.dhall: add completion options for dhall command line | Profpatsch | 2020-02-24 | 1 | -0/+134 |
| | |||||
* | main: factor out basic fish completion commands | Profpatsch | 2020-02-24 | 4 | -149/+176 |
| | |||||
* | `abc foo --bar` can be completed | Profpatsch | 2020-02-24 | 1 | -2/+23 |
| | |||||
* | First working fish subcommand completion. | Profpatsch | 2020-02-24 | 3 | -42/+94 |
| | |||||
* | Add dhall-to-shell script (to convert (List (List Text)) to sh) | Profpatsch | 2020-02-24 | 1 | -0/+6 |
| | |||||
* | Init: basic command line abstraction for fish’s complete | Profpatsch | 2020-02-24 | 10 | -0/+172 |
| | |||||
* | pkgs/profpatsch: Fix eval error for dhall-flycheck | aszlig | 2020-02-10 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | The haskellPackages attribute is actually part of the package scope inside pkgs.profpatsch and thus the evaluation fails with the following error: attribute 'vuizvui' missing, at .../pkgs/profpatsch/default.nix:176:20 Referencing the attribute directly from within the recursive attribute set fixes the evaluation error and building dhall-flycheck also succeeds. Signed-off-by: aszlig <aszlig@nix.build> Cc: @Profpatsch | ||||
* | pkgs/profpatsch: add dhall-flycheck | Profpatsch | 2020-02-10 | 1 | -0/+8 |
| | |||||
* | pkgs/profpatsch: add dhall from easy-dhall-nix | Profpatsch | 2020-02-10 | 1 | -0/+10 |
| | | | | | It’s the easiest way to get recent statically compiled dhall executables. | ||||
* | pkgs/profpatsch/execline/e: better prompt | Profpatsch | 2020-01-26 | 1 | -12/+14 |
| | | | | | | rlwrap has to do magic recognition, which breaks in most cases. We can just print a prompt before the first and after each consecutive command. Seems to work wonderfully. | ||||
* | pkgs/profpatsch/execline/e: add prompt color | Profpatsch | 2020-01-26 | 1 | -0/+2 |
| | |||||
* | pkgs/profpatsch/execline/e: fix buffering problem | Profpatsch | 2020-01-26 | 1 | -3/+0 |
| | | | | Forgot the cat after I added forstdin. | ||||
* | pkgs/profpatsch/execline/e: fix line splitting | Profpatsch | 2020-01-26 | 1 | -6/+6 |
| | |||||
* | pkgs/profpatsch/execline: add e | Profpatsch | 2020-01-26 | 2 | -0/+25 |
| | |||||
* | pkgs/profpatsch/execline: add runblock | Profpatsch | 2020-01-26 | 2 | -0/+71 |
| | |||||
* | pkgs/profpatsch/write-execline: add all argparsing commands | Profpatsch | 2020-01-26 | 1 | -2/+20 |
| | | | | | | In some cases (especially with `runblock`), the arguments need to be accessible as environment variables, so we need a way to pass that to execline. | ||||
* | machines/profpatsch/shiki: use dhall from binary release | Profpatsch | 2020-01-26 | 1 | -11/+0 |
| | | | | | | | | | The hackage (and thus nixpkgs) version is sadly very much outdated. Luckily, Justin Woo provides the statically linked binaries from the upstream project. This won’t work for patches or using the library, but at the moment it’s okay. | ||||
* | pkgs/profpatsch/warpspeed: 1.0 -> 1.1 | Profpatsch | 2020-01-26 | 1 | -5/+31 |
| | | | | | | - Add argument for which host to bind against. - Add argument to specify where the root address should be redirected to (if at all) | ||||
* | escape: support paths | Yorick | 2020-01-18 | 1 | -0/+1 |
| | | | This makes ./foo work. | ||||
* | pkgs/profpatsch/youtube2audiopodcast: fix a few things | Profpatsch | 2019-12-27 | 1 | -4/+4 |
| | |||||
* | pkgs/profpatsch/youtube2audiopodcast: use v4 localhost for tcpserver | Profpatsch | 2019-12-27 | 1 | -1/+1 |
| | |||||
* | pkgs/profpatsch/youtube2audiopodcast: use ::1 for tcpserver | Profpatsch | 2019-12-27 | 1 | -1/+1 |
| | |||||
* | pkgs/profpatsch/youtube2audiopodcast: serve rss feed & audio files | Profpatsch | 2019-12-27 | 2 | -29/+37 |
| | |||||
* | pkgs/profpatsch/query-audio-streams: init | Profpatsch | 2019-12-14 | 3 | -0/+94 |
| | |||||
* | pkgs/profpatsch: move `writeHaskellInterpret` upwards | Profpatsch | 2019-12-14 | 2 | -12/+13 |
| | |||||
* | pkgs/profpatsch/youtube2audiopodcast: youtube playlist to rss | Profpatsch | 2019-12-09 | 2 | -4/+201 |
| | | | | | Initial code that fetches a youtube playlist (from ID) and converts it to an rss feed. | ||||
* | pkgs/profpatsch/youtube2audiopodcast: clean imports and use s6 cat | Profpatsch | 2019-12-09 | 1 | -2/+5 |
| | |||||
* | pkgs/profpatsch/youtube2audiopodcast: factor out http serving | Profpatsch | 2019-12-09 | 1 | -14/+22 |
| |