IRC channel logs

<civodul>looks like we had no backups of the Guix-HPC videos (?!)

<civodul>this is being fixed, but uh

<civodul>someone should upload’em all to a PeerTube instance :-)

<efraim>archive.org?

<civodul>ah yes, that too

<civodul>how does that work?

<civodul>also, i was thinking we should use Git-Annex for videos served by the web site

<civodul>i’ve never used it though (!) so i’d need to learn first

<efraim>AFAIK the best way to do internet archive is to create a grouping of some sort and then upload the videos with a name that's useful

<efraim>for git-annex its basically setup: 'git init, git annex init', and then 'git annex add <file>' instead of 'git add file' for the simplest bit.

<efraim>although as I type it out now I realize there's quite a bit to adding remotes and syncing between devices and such

<civodul>yes, remotes are the thing i wonder about

<civodul>i guess we could have copies of the videos in different places over rsync, http, or ipfs

<civodul>and git-annex would figure it out, right?

IRC channel logs

2024-01-15.log