Move wiki-pull to a zsh alias, remove from

...PW05CH3L
This commit is contained in:
Oliver Davies 2025-05-06 19:51:38 +01:00
parent 6c782845a3
commit f3713050cb
5 changed files with 27 additions and 88 deletions

View file

@ -4,6 +4,5 @@
./neomutt.nix
./newsboat
./ollama.nix
./wiki.nix
];
}

View file

@ -1,32 +0,0 @@
{ lib, ... }:
with lib;
{
home-manager.users.opdavies =
{ config, pkgs, ... }:
{
home.packages = with pkgs; [
(pkgs.writeShellApplication (
let
remoteIpAddresses = [
"nixedo.local"
];
wikiPath = "${config.xdg.userDirs.documents}/wiki";
in
{
name = "wiki-push";
text = builtins.concatStringsSep "\n" (
map (ipAddress: ''
${getExe pkgs.rsync} -avz --update \
--delete --delete-after \
${wikiPath}/ ${ipAddress}:${wikiPath} "$@"
'') remoteIpAddresses
);
}
))
];
};
}