diff options
Diffstat (limited to 'dev-shell')
| -rwxr-xr-x | dev-shell | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-shell b/dev-shell new file mode 100755 index 0000000..615fa53 --- /dev/null +++ b/dev-shell @@ -0,0 +1,10 @@ +#!/bin/sh +# SPDX-License-Identifier: CC0-1.0 +# +# Copyright (C) 2024 W. Kosior <koszko@koszko.org> + +# It is so annoying to have some shell read garbage from script while you edit +# it… Why not load all of it to memory first? +exec sh -c "$(awk '{if (after) print} /#{3}/{after=1}' "$0")" "$0" "$@" +### +guix shell gcc-toolchain flint make |