Migrate manually installed robo3t to home-manager

The tool wasn't available via apt and was manually installed beforehand.
2022-02-03 09:46:08 +01:00 · 2022-02-03 09:46:08 +01:00 · 446f7fdf0e
parent 4ecb26bfed
commit 446f7fdf0e
2 changed files with 8 additions and 0 deletions
--- a/home.nix
+++ b/home.nix
@ -39,6 +39,7 @@
    pkgs.tig
    pkgs.universal-ctags
    pkgs.silver-searcher
+    pkgs.robo3t

    # Writing
    pkgs.languagetool
--- a/readme.rst
+++ b/readme.rst
@ -76,6 +76,13 @@ It then will update system.
 Delete old generations.
 And run garbage collection.

+Manual changes
+--------------
+
+List of manual needed changes for various reasons.
+
+* robo3t desktop file is not linked, that's done by hand for now.
+
 Todos
 -----