Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| | ||||||
* | machines/profpatsch,pkgs/profpatsch: rm `execlineb-with-builtins` | Profpatsch | 2019-12-08 | 2 | -33/+6 | |
| | | | | | | | This has been upstreamed to nixpkgs proper, as a C wrapper script, in https://github.com/NixOS/nixpkgs/pull/71357 So we don’t even need bash to run execline anymore :P | |||||
* | pkgs/profpatsch: bump nixperiments | Profpatsch | 2019-12-08 | 1 | -2/+2 | |
| | | | | | It previously copied nixpkgs to the store, because a `toString` was missing. | |||||
* | pkgs/profpatsch: fix stray `runCommandLocal` | Profpatsch | 2019-12-08 | 1 | -1/+1 | |
| | ||||||
* | treewide: use `runCommandLocal` where applicable | Profpatsch | 2019-12-08 | 5 | -16/+8 | |
| | | | | | | | `runCommandLocal` was added to nixpkgs in https://github.com/NixOS/nixpkgs/pull/74642 to speed up trivial `runCommand` derivations by always building them locally. We have a few places where that’s good to use. |