| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
| |
Forgot the cat after I added forstdin.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
- Add argument for which host to bind against.
- Add argument to specify where the root address should be
redirected to (if at all)
|
| |
|
| |
This makes ./foo work.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Initial code that fetches a youtube playlist (from ID) and converts it
to an rss feed.
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
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
|
| |
|
|
|
| |
It previously copied nixpkgs to the store, because a `toString` was
missing.
|
| | |
|
| |
|
|
|
|
|
| |
`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.
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
Small sandboxing utility, which unshares the filesystem via
user-namespaces and can optionally bind-mount existing paths into the
sandbox.
|
| | |
|
| | |
|
| |
|
|
|
| |
Minimal PoC of a small application which can download and convert a
youtube video with youtube-dl and then serve it via HTTP.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Introduced in commit e9975c9a39cb4e654d9132de4b952f51174a0926.
The write-execline.nix file is inside the execline/ directory but the
import doesn't reflect that, so since there isn't any write-execline.nix
in other locations, I assume that this is what the author actually
intended.
Signed-off-by: aszlig <aszlig@nix.build>
Cc: @Profpatsch
|
| |
|
|
|
| |
similar to writeScript, but writes an execline instead. Should be
upstreams to `lib.writers` sometimes.
|
| |
|
|
|
| |
A simple way to reference binary paths in an attribute set without
string interpolations everywhere.
|
| | |
|
| |
|
|
|
|
|
| |
Earlier, it would just append the execline bin path on every
invocation, which would clobber the path on nested invocations.
We (ab)use the fact that nix paths have a known hash to check whether
it was already added before.
|
| |
|
|
|
|
|
|
| |
It’s conventional that these tools have the form
tool name options data
so we should adhere to that.
|
| |
|
|
|
| |
We can auto-escape execlines correctly if we model them as nix-style
lists, so we shoud certainly do so. It also helps abstraction.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
