1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 13:39:46 +01:00

atuin: Replace dead link in documentation (#3962)

This commit is contained in:
Anton Mosich 2023-05-07 23:44:22 +02:00 committed by GitHub
parent de8ba413c5
commit d12ca77844
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -81,7 +81,7 @@ in {
Configuration written to Configuration written to
<filename>$XDG_CONFIG_HOME/atuin/config.toml</filename>. <filename>$XDG_CONFIG_HOME/atuin/config.toml</filename>.
</para><para> </para><para>
See <link xlink:href="https://github.com/ellie/atuin/blob/main/docs/config.md" /> for the full list See <link xlink:href="https://atuin.sh/docs/config/" /> for the full list
of options. of options.
''; '';
}; };