[racket-dev] "Getting git" instructions

Eli Barzilay wrote:
> 20 minutes ago, Neil Toronto wrote:
>> The Ubuntu instructions should have a "sudo apt-get update" after
>> adding the ppa repository.
> 
> Is this about the git instructions at git.racket-lang.org, and if so,
> do you mean that it should be:
> 
>           sudo add-apt-repository ppa:git-core/ppa
>           sudo apt-get update
>           sudo apt-get install git-core

Yes, and yes. Ubuntu will install the non-ppa git-core until its package 
indexes are updated.

Thanks!
Neil T