julian/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Releases Wiki Activity

Fix pianopi deploy script

Browse Source
This commit is contained in:
Julian Mutter 2024-02-01 22:29:23 +01:00
parent 820574addf
commit f35b2e8304
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
packages/deploy-to-pianopi/default.nix
View File

@ -15,10 +15,18 @@ pkgs.writeShellApplication {
runtimeInputs = with pkgs; [ rsync ]; runtimeInputs = with pkgs; [ rsync ];
text = '' text = ''
set -x
set -e set -e
set -x
nix build .#defaultPackage.aarch64-linux nix build .#defaultPackage.aarch64-linux --print-out-paths
rsync -a result/bin/ julian@pianopi.local:/home/julian/.local/bin # copy dependencies etc
nix copy --to ssh://julian@pianopi.local .#defaultPackage.aarch64-linux
# This should be expanded on the client side
# shellcheck disable=SC2029
# ssh julian@pianopi.local ln -sf "$DERIVATION_PATH"/bin/\* /home/julian/.local/bin
# ssh julian@pianopi.local nix profile install "$DERIVATION_PATH"
rsync -ac result/bin/ julian@pianopi.local:/home/julian/.local/bin
''; '';
} }