hpr2512 :: Intro to git remote
All about git remote
Klaatu on 2018-03-20 is flagged as Clean and is released under a CC-BY-SA license.
git, remote, server. Comments: (Be the first).
The show is available on the Internet Archive at: https://archive.org/details/hpr2512
or mp3 format. Play now:
Initiated by Klaatu, this open series introduces Git and the concepts behind its use in a collaborative environment.
Instantiate a git repo:
$ mkdir alice
$ cd !$
$ git init
Add a remote:
$ git remote add origin URI_OF_REMOTE
Change a remote:
$ git remote set-url origin NEW_URI
A remote can be a server, it can be a local directory, an NFS share, pretty much whatever you want.
It is a Git convention that the primary remote is called
origin. You don't have to call it that, but it's pretty common.
Automatically generated using
whisper --model tiny --language en hpr2512.wav
You can save these subtitle files to the same location as the HPR Episode, and they will automatically show in players like
mpv, vlc. Some players allow you to specify the subtitle file location.
<< First, < Previous, Next >, Latest >>
Note to Verbose Commenters
If you can't fit everything you want to say in the comment below then you really should record a response show instead.
Note to Spammers
All comments are moderated. All links are checked by humans. We strip out all html. Feel free to record a show about yourself, or your industry, or any other topic we may find interesting. We also check shows for spam :).