Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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. | ||||
* | pkgs/profpatsch: fixup missing sandbox arg | Profpatsch | 2019-12-08 | 1 | -1/+1 |
| | |||||
* | pkgs/profpatsch/youtube2audiopodcast: use sandbox instead of tempdir | Profpatsch | 2019-12-08 | 1 | -10/+10 |
| | | | | | | If we sandbox each run of our youtube-dl script inside of the UCSPI TCP server, we get a temporary directory “for free”, plus guarantees that the files are cleaned up after the process exits. | ||||
* | pkgs/profpatsch/execline: use -W instead of EXECLINE_STRICT | Profpatsch | 2019-12-08 | 1 | -2/+1 |
| | | | | | | EXECLINE_STRICT does not apply to the `execlineb` command itself, so we don’t get any errors if the nesting is incorrect. `-W` does set it for `execlineb` however. | ||||
* | pkgs/profpatsch: add sandbox primitive | Profpatsch | 2019-12-08 | 2 | -9/+66 |
| | | | | | | Small sandboxing utility, which unshares the filesystem via user-namespaces and can optionally bind-mount existing paths into the sandbox. | ||||
* | pkgs/profpatsch/youtube2audiopodcast: serve arbitrary youtube video | Profpatsch | 2019-12-08 | 1 | -6/+18 |
| |