| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
First working mockup of a dhall Haskell API that can read files of
the (normalized) form
```
\(CustomType: Type) ->
\(AnotherType: Type) ->
…
```
and set their actual representation on the Haskell side.
This has various advantages:
- dhall files still type check & normalize with the normal dhall
tooling, they are standalone (and the types can be instantiated from
dhall as well without any workarounds)
- It can be used like the default `input` function, no injection of
custom symbols in the Normalizer is reqired
- Brings this style of dhall integration to Haskell, where it was only
feasible in nix before, because that is untyped
The dhall types can be instantiated by every Haskell type that has an
`Interpret` instance. The “name” of the type lambda variable is
compared on the Haskell side with a type-level string that the user
provides, to prevent mixups.
TODO:
- Improve error messages (!)
- Provide a way to re-use the type mapping on the Haskell side, so
that the returned values are not just the normal `Interpret` types,
but the mapped ones (with name phantom type)
|
| |
|
| |
|
|
|
|
| |
The battery life is displayed as an [sft] timespan.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
First version of a way to build s6 services using `dhall-to-nix`.
Includes a small library that formalizes the tables in `man 7 signal`.
|
|
|
|
|
|
|
| |
A set of utilities to generate and query a git commit index, which is
a database that knows which revs (that is: commits) are in which git
repository. That way we can query for the project that contains a
commit and show them, e.g. with xdg-open.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Reference files in `bin` outputs for a derivation as an attribute set,
with renaming capabilities.
|
|
|
|
|
|
| |
Improves the “execline experience” and adds some basic tests.
The idea is that the final result doesn’t use coreutils and provides a
feasible alternative to bash-based tooling.
|
|
|
|
|
|
|
|
|
|
|
| |
* runExecline: like runCommand, but a lot more lightweight
* symlink: symlink a given list of links together
* importer: a small DSL to “import” “modules” into a build context
Some highlights:
* runExecline does not use any stdenv (apart from the `execline` build)
* symlink uses netstrings to pass correct fields into the derivation
* no use of bash, everything uses execline.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
The build currently fails on Hydra and I highly doubt that it will be
used on an i686-linux system. If it's really needed for i686-linux
systems it can be directly used for a specific machine or this very
commit could be reverted.
Signed-off-by: aszlig <aszlig@nix.build>
Cc: @Profpatsch
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
Apart from using the go compiler, switch from `nix-shell -p`, which only worked
in certain cases, to a `nix-build` with fallback for `man` and default outputs.
Thanks to @muesli for the golang intro.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The package fails because the mtp-jolla.patch was already applied
upstream, see the following build log:
https://headcounter.org/hydra/log/d21f1590i2hs6xhgkdr00906ksnvgxfz-libmtp-1.1.13.drv
This is the upstream commit by @Profpatsch that's now part of libmtp
version 1.1.13:
https://sourceforge.net/p/libmtp/code/ci/8919ebeef58251639454c2394c0274597be3df9c/
Tested by evaluating machines.profpatsch.katara.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @Profpatsch
|
| |
|
|
|
|
|
|
|
|
|
| |
Tested evaluation using:
nix-instantiate pkgs -A vuizvui.profpatsch.show-qr-code
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @Profpatsch
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This should remove a lot of clutter from pkgs/default.nix into
corresponding sub-scopes, eg. pkgs/openlab/default.nix.
Apart from restructuring there is no change of runtime functionality
involved.
Tested by evaluating with "nix-env -f pkgs -qaP".
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @Profpatsch, @sternenseemann
|
|
|
|
|
|
|
|
| |
This clearly is something currently only @Profpatsch wants, so lets move
it into the user namespace.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @Profpatsch
|
| |
|
| |
|
|
A script to display current time & battery.
|