Elektrine lite

← Feed

rudi

rudi@hachyderm.io

<p>CS researcher at University of Oslo. Mostly reading, rarely writing, hope that&#39;s ok</p>

Posts

  • Post #1009944

    Apropos of nothing: &amp;gt; The repo settings. These can be edited with `jj config edit --repo`, or found with `jj config path --repo`. For security reasons, they are not located inside the repo. &amp;gt; The workspace settings. These can be edited with `jj config edit --workspace`, or found with `jj config path --workspace`. For security reasons, they are not located inside the workspace. (https://www.jj-vcs.dev/latest/config/#config-files-and-toml)

  • Post #876768

    @jackdaniel congrats! Let me briefly mention that some lobsters posters can be sticklers for “self-promotion” but a bit of discussing on other people’s stories keeps them at bay :P