Update 'pages/user-repos.md'
The repo name doesn't have to have a ".git" on the end, and the ".git" is visible in the URL.
This commit is contained in:
parent
690c96a0fc
commit
fc7aaf9483
|
@ -31,13 +31,13 @@ ln -s /var/www/cgit_repos/$USER ~/public_repos
|
|||
Once `~/public_repos` exists, `cd` into it and create a directory for your repo:
|
||||
|
||||
```
|
||||
mkdir foo.git
|
||||
mkdir foo
|
||||
```
|
||||
|
||||
Change into *that* directory and initialize a bare repo:
|
||||
|
||||
```
|
||||
cd foo.git; git init --bare
|
||||
cd foo; git init --bare
|
||||
```
|
||||
|
||||
Now that the bare repo has been created, edit the file called `config` and append the following section:
|
||||
|
@ -78,7 +78,7 @@ git push -u tilde.institute master
|
|||
|
||||
## Checking the repo on [git.tilde.institute](git.tilde.institute)
|
||||
|
||||
Your repo should now be available at `https://git.tilde.institute/<USER>/<REPO>`, without the `.git` extension on the repo's directory.
|
||||
Your repo should now be available at `https://git.tilde.institute/<USER>/<REPO>`.
|
||||
|
||||
If something's wrong, double-check everything, and then jump into `#institute` on IRC.
|
||||
|
||||
|
|
Loading…
Reference in New Issue