From ad39a8c48724807391aaf4e87869377113ad7692 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Wed, 22 May 2024 13:00:00 +0100 Subject: [PATCH] Remove `run` as I also have a `justfile` --- run | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 run diff --git a/run b/run deleted file mode 100755 index 839d89b..0000000 --- a/run +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash - -set -o nounset -set -o pipefail - -function build { - nix build --json --no-link --print-build-logs ".#${1:-default}" -} - -function help { - printf "%s [args]\n\nTasks:\n" "${0}" - - compgen -A function | grep -v "^_" | cat -n - - printf "\nExtended help:\n Each task has comments for general usage\n" -} - -TIMEFORMAT="Task completed in %3lR" -time "${@:-help}"