Joshuto: workaround bookmarks

This commit is contained in:
Filippo Berto 2023-08-15 14:23:34 +02:00
parent 247ef11b0e
commit e6fd53ac94
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056

View file

@ -244,13 +244,13 @@ let tomlGenerate = (pkgs.formats.toml { }).generate; in
}; };
}; };
"joshuto/bookmarks.toml".source = tomlGenerate "joshuto-bookmarks.toml" { "joshuto/bookmarks.toml".text = ''
bookmark = [ bookmark = [
{ path = "/"; key = "r"; } { path = "/", key = "r" },
{ path = "~/"; key = "h"; } { path = "~/", key = "h" },
{ path = "~/Scaricati"; key = "d"; } { path = "~/Scaricati", key = "d" },
{ path = "~/Syncthing"; key = "s"; } { path = "~/Syncthing", key = "s" }
]; ]
}; '';
}; };
} }