about summary refs log tree commit diff
path: root/pkgs
Commit message (Collapse)AuthorAgeFilesLines
* pkgs/profpatsch: export encode-rsProfpatsch2020-06-022-2/+10
|
* pkgs/profpatsch/display-infos: add dottimeProfpatsch2020-06-021-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 helperProfpatsch2020-06-021-1/+15
|
* pkgs/profpatsch: writeRustSimple, wrapper around buildRustCrateProfpatsch2020-06-022-0/+49
|
* pkgs/profpatsch/encode: add function for printing T valuesProfpatsch2020-06-021-1/+52
|
* pkgs/profpatsch/encode: put parser in submoduleProfpatsch2020-06-022-284/+282
|
* pkgs/profpatsch/encode: initial rust parserProfpatsch2020-06-022-0/+381
| | | | Uses the nom parsing combinator library.
* pkgs/profpatsch/encode: listify spec examplesProfpatsch2020-06-021-21/+21
|
* pkgs/profpatsch/encode: change number format and defined recordsProfpatsch2020-06-021-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 specProfpatsch2020-06-011-0/+81
|
* pkgs/aszlig/xournal: Switch to xournal++aszlig2020-05-213-90/+1
| | | | | | | | | | | | | The patch I added to xournal was for keeping the aspect ratio when annotating PDFs with images. However, looking at xournal++ the aspect ratio is kept by default when resizing via corners so the patch is not needed. Since I don't really care a lot whether it's xournal or xournal++ and as long as it does the very little things I intend to use it for, I don't mind if it has too many features for my taste. Signed-off-by: aszlig <aszlig@nix.build>
* pkgs/sternenseemann/logbook: 0.2 → 0.3sternenseemann2020-05-211-8/+6
|
* pkgs/sternenseemann/logbook: always use jingoo patchsternenseemann2020-05-141-1/+1
|
* pkgs/sternenseemann/logbook: fix build for jingoo >= 1.3.0sternenseemann2020-05-141-1/+6
|
* pkgs/sternenseemann/logbook: unstable -> 0.2sternenseemann2020-05-131-3/+3
| | | | Fixed for newer cow versions
* pkgs/profpatsch/xdg-open: make possible to parse protocolsProfpatsch2020-05-112-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.0Profpatsch2020-05-111-2/+3
|
* pkgs/profpatsch/xdg-open: implement special commandsProfpatsch2020-05-103-30/+73
|
* pkgs/profpatsch: add xdg-open, WIPProfpatsch2020-05-0912-0/+322
|
* pkgs/profpatsch: add importDhall/importDhall2/readDhallFileAsJsonProfpatsch2020-05-092-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 exactSourceProfpatsch2020-05-092-0/+86
|
* pkgs/profpatsch: update dhall-flycheckProfpatsch2020-05-091-4/+5
|
* pkgs/profpatsch: update easy-dhall-nix, add dhall-jsonProfpatsch2020-05-091-2/+3
|
* pkgs/profpatsch: add buildDhallPackageProfpatsch2020-05-092-0/+71
|
* gopass: Rebase pager colour patch against v1.9.0aszlig2020-05-081-9/+9
| | | | | | | | The import list of list.go has changed upstream, so the rebase of this patch doesn't change anything in its functionality but just makes sure that it applies against gopass version 1.9.0. Signed-off-by: aszlig <aszlig@nix.build>
* vim: Add vim-css-color pluginaszlig2020-05-081-1/+12
| | | | | | | | | | | | | This is quite useful in CSS files and others to directly highlight the colours in the actual colour value rather than with the generic colour of the syntax file. To make sure we don't break the after/syntax files for Haskell and HTML, I also changed the way we install those files in the output directory so that if a file already exists, it is appended to rather than overwritten. Signed-off-by: aszlig <aszlig@nix.build>
* vim: Remove file artifacts for ATS syntax pluginaszlig2020-05-081-2/+3
| | | | | | | | | | | We essentially only want to have the ftdetect and syntax files, everything else is just cruft that is not in any way related to Vim. Ideally we want to do a whitelist approach instead of the "remove everything unneeded" we're doing right now, but since I don't want to refactor the whole Vim expression I'll leave it the dirty[TM] way. Signed-off-by: aszlig <aszlig@nix.build>
* pkgs/sternenseemann: remove spacecookiesternenseemann2020-04-302-27/+1
| | | | More up to date version is available via nixpkgs
* pkgs/sternenseemann: update/fix logbooksternenseemann2020-04-231-16/+15
| | | | | | * Fix couple of build errors with more recent packages * switch build system to dune * clean up package
* pkgs/profpatsch: bump utils-hsProfpatsch2020-04-041-2/+2
|
* invisigun-heroes: Get nick name from environmentaszlig2020-03-291-0/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | Since the player's nick name is retrieved via Steam we don't get any nick name via the DRM-free version. To cope with this, the nick name is now determined by looking at the INVISIGUN_NICKNAME and USER if the former is not defined. If people don't want their local user name to be displayed to others, there is a setting in the options menu to disable this behaviour. The reason why I patched the call to Tools::FilterText (which is used sanitise the nick name) instead of a more specific one is because the more specific one is optimized out in the build: IL_0000: ldarg.0 IL_0001: call string class Tools::'?????????'(valuetype '?????????') IL_0006: call string class Tools::FilterText(string) IL_000b: ret So the only way to patch out the call in IL_0001 would be to use addresses/offsets, which is bound to break in the next upstream version. However, since the output is essentially wrapped in Tools::FilterText, I decided to patch that one instead and we simply throw away the argument. Signed-off-by: aszlig <aszlig@nix.build>
* machines/shiki: add zoomboxedProfpatsch2020-03-261-3/+1
| | | | Filesystem sandbox around zoom-us.
* invisigun-heroes: Update to version 1.8.1aszlig2020-03-261-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Upstream changes for version 1.8.1: * IRIS: Fixed crash involving dash on Stage 6 * EPI: Fixed cluster shots spawning at real Epi's location when hitting ghost Epi * CONTROLS: Fix loss of subsequent control if pause menu is open when a round ends online Upstream changes for version 1.8.0: * UI: Any player can control or skip instant replays after the first full viewing * UI: Lab hero menu starts with your current hero selected * INPUT: More accurate movement tapping when standing still * UI: Minor localization edits * UI: Pixel alignment visual fix on game mode selector buttons * UI: Fixed player selectors sometimes not showing ability text when you first join in * EPI: Fixed cluster shots hitting ghost Epi instead of real Epi when they occupy the same tile * EPI: Fixed shield showing for one frame on real Epi when toggling off ghost Epi * DJAAN-KHE: Fixed being able to trap players when they are in respawn invincibility time * DJAAN-KHE: Fixed footsteps/surface FX triggering when laying traps * GAME: Fixed sometimes not being able to fire when standing in same position as a dead player * GAME: Fixed edge case that could prevent players from respawning in sudden death situations * GAME: Fixed edge case where security cameras would fail to rotate towards some corners I also changed the screenshot path to use "$XDG_DATA_HOME/Invisigun Reloaded", since this is the new location of the "Reloaded" update which I didn't yet fix. Signed-off-by: aszlig <aszlig@nix.build>
* Mostly implement nice completion for dhallProfpatsch2020-02-249-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 typesProfpatsch2020-02-243-23/+22
|
* completion.dhall: add completion options for dhall command lineProfpatsch2020-02-241-0/+134
|
* main: factor out basic fish completion commandsProfpatsch2020-02-244-149/+176
|
* `abc foo --bar` can be completedProfpatsch2020-02-241-2/+23
|
* First working fish subcommand completion.Profpatsch2020-02-243-42/+94
|
* Add dhall-to-shell script (to convert (List (List Text)) to sh)Profpatsch2020-02-241-0/+6
|
* Init: basic command line abstraction for fish’s completeProfpatsch2020-02-2410-0/+172
|
* pkgs/profpatsch: Fix eval error for dhall-flycheckaszlig2020-02-101-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-flycheckProfpatsch2020-02-101-0/+8
|
* pkgs/profpatsch: add dhall from easy-dhall-nixProfpatsch2020-02-101-0/+10
| | | | | It’s the easiest way to get recent statically compiled dhall executables.
* taalo-build: Combine ssh and ssh-ng store protocolaszlig2020-02-101-7/+12
| | | | | | | | | | For some reason which I haven't been able to debug yet, the legacy SSH remote store protocol is way faster when it comes to copying files. To cope with this for now, we now use the legacy protocol for copying and the new protocol for the actual remote build. Signed-off-by: aszlig <aszlig@nix.build>
* pkgs/psi: Temporarily disable Jingle sessionsaszlig2020-02-102-0/+13
| | | | | | | | | | | | | | | When getting an incoming file transfer, Psi has crashed a while ago and I unfortunately don't remember the exact details. However, since those stanzas are going to be re-delivered every time we start Psi again, I'd like to debug this in an isolated environment rather than being more or less forced to stay unavailable (especially annoying if someone is trying to send a file and then you stay offline for hours). So until I get to debugging this and ideally also test this in an automated fashion, I'll disable it for now since I'm not using Jingle sessions at the moment. Signed-off-by: aszlig <aszlig@nix.build>
* pkgs/psi: Update to latest upstream masteraszlig2020-02-104-50/+50
| | | | | | | | | | | Updating to latest master fixes one of the most annoying theming issue where the chat message input box text will turn black on dark background for my custom Qt theme. There are also quite a lot of fixes in master (which is still unreleased), which we want to have as well. Signed-off-by: aszlig <aszlig@nix.build>
* invisigun-heroes: Update to version 1.7.16aszlig2020-02-101-5/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Lots of changes have been introduced in version 1.7.6, so here is a small summary: * New "The Hero's Journey" mode, which allows to discover the abilities of each hero along with challenges and puzzles. * Three new heroes: Djaan-Khe, Zephyr, Violet * Challenge mode has been removed (replaced by "The Hero's Journey"). * Guest Edition has been removed. The full changelog can be found here: http://www.sombr.com/pub/SIG/changelog/ While Invisigun Heroes in general went pretty smooth when it comes to packaging on our side, this time unfortunately we needed to patch something. There is now a new "config.json", which is written inside the game's data directory. Of course, since the data directory resides in the Nix store, I've relocated the file to be written into the the config directory ($XDG_CONFIG_HOME/unity3d/Sombr Studio/Invisigun Reloaded) of the game. Note that the config directory has also changed from "Invisigun Heroes" to "Invisigun Reloaded", so if you don't want to play the old version, you can delete the "Invisigun Heroes" directory. Signed-off-by: aszlig <aszlig@nix.build>
* monogame-patcher: Also patch late-bound methodsaszlig2020-02-101-1/+2
| | | | | | | | | | | | | | This is something I encountered in Invisigun Heroes, where there is a virtual FileManagerAdapter class, which then gets bound to either the Desktop variant or any of the other ones. Since we always use the full path of the corresponding type/object, just adding the Callvirt to the opcodes we patch shouldn't interfere with any other games we patch that way and using an extra subcommand just for the Callvirt case would only add additional boilerplate for no additional benefits. Signed-off-by: aszlig <aszlig@nix.build>
* pkgs/profpatsch/execline/e: better promptProfpatsch2020-01-261-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.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-25 11:33:21 +0000