I saw just now that there are also system units (started with "systemctl enable --now syncthing@USER_NAME_HERE.service", note the lack of --user). If you use those then you don't need to activate linger. Using those is…
Regarding backups... Syncthing is great for propagating changes to all devices, but does not offer much in terms of backups and previous versions of files. (And I'm fine with that. I consider that to be out of scope for…
More information: https://docs.syncthing.net/users/autostart.html#using-system... The Debian/Ubuntu packages ship all the needed files. You only need to activate them.
On Ubuntu (and probably other distros that use Systemd as well) you need to enable the user service manually once for your user: systemctl --user enable --now syncthing.service This will start syncthing whenever your…
For you language nerds: the author Gretchen McCulloch also hosts a podcast, Lingthusiasm! (https://lingthusiasm.com/)
You don't use another interface when thinking "IO type" instead of "IO monad". It's all about what words you use to explain the types of the interface. For example, when you write 1 + 2 you are probably thinking of (+)…
Exactly. You only need to know about some primitive operations (like putStrLn and getLine), and ways to combine them (like >>, >>=, and return). This was my point when I wrote my "IO tutorial" (not a monad tutorial!):…
I saw just now that there are also system units (started with "systemctl enable --now syncthing@USER_NAME_HERE.service", note the lack of --user). If you use those then you don't need to activate linger. Using those is…
Regarding backups... Syncthing is great for propagating changes to all devices, but does not offer much in terms of backups and previous versions of files. (And I'm fine with that. I consider that to be out of scope for…
More information: https://docs.syncthing.net/users/autostart.html#using-system... The Debian/Ubuntu packages ship all the needed files. You only need to activate them.
On Ubuntu (and probably other distros that use Systemd as well) you need to enable the user service manually once for your user: systemctl --user enable --now syncthing.service This will start syncthing whenever your…
For you language nerds: the author Gretchen McCulloch also hosts a podcast, Lingthusiasm! (https://lingthusiasm.com/)
You don't use another interface when thinking "IO type" instead of "IO monad". It's all about what words you use to explain the types of the interface. For example, when you write 1 + 2 you are probably thinking of (+)…
Exactly. You only need to know about some primitive operations (like putStrLn and getLine), and ways to combine them (like >>, >>=, and return). This was my point when I wrote my "IO tutorial" (not a monad tutorial!):…