← Feed

Posts

• Post #1490244

  TIL about `nvim`'s `:TOhtml`. https://neovim.io/doc/user/plugins/#package-tohtml > Converts the buffer shown in the current window to HTML, opens the generated HTML in a new split window, and saves its contents to {file}. If {file} is not given, a temporary file (created by |tempname()|) is used. I think it comes bundled with `nvim` by default, and it preserves themes and syntactic highlighting. Really cool feature!

• Post #1490243

  Pure cinema https://youtu.be/KaljD3Q3ct0

• Post #1490242

  #codeberg users, I have a question. Is there a way to allow anyone to pull your repository, without having them authenticate with Codeberg beforehand? I noticed that, even when pulling with HTTP, I'm asked to authenticate with username and password, and there doesn't seem to be an option to disable it in settings. EDIT: The repository is https://codeberg.org/ayhon/logical_verification_2025, in case someone wants to give it a quick look and see if I did something stupid.