2024-09-14 17:46:22 +02:00
|
|
|
function push() {
|
|
|
|
git add -A
|
2024-09-14 17:53:40 +02:00
|
|
|
if [ -z "$*" ]; then
|
|
|
|
git commit -m "$(date)"
|
2024-09-14 17:46:22 +02:00
|
|
|
else
|
2024-09-14 17:53:40 +02:00
|
|
|
git commit -m "$*"
|
2024-09-14 17:46:22 +02:00
|
|
|
fi
|
|
|
|
git push
|
|
|
|
}
|
2025-01-28 01:20:00 +01:00
|
|
|
|
|
|
|
function run() {
|
|
|
|
NIXPKGS_ALLOW_UNFREE=1 nix run --impure "nixpkgs#$1" -- "''${@:2}"
|
|
|
|
}
|