diff options
| author |   Hiltjo Posthuma <[email protected]> | 2021-07-31 01:09:45 +0200 |
|---|---|---|
| committer | Hiltjo Posthuma <[email protected]> | 2021-07-31 01:09:45 +0200 |
| commit | 61be8f532818ac1c8d16e418d6e3124d10f82bd6 (patch) | |
| tree | 9ba95fd8cce90d1e537c37244d5622771f9fbbb1 | |
| parent | 57f84d0fd12d6466122dc8a2190e7e284f5668d7 (diff) | |
| download | stagit-61be8f532818ac1c8d16e418d6e3124d10f82bd6.tar.gz stagit-61be8f532818ac1c8d16e418d6e3124d10f82bd6.zip | |
small typo fixes and url -> URL
| -rw-r--r-- | README | 2 | ||||
| -rwxr-xr-x | example_create.sh | 2 | ||||
| -rw-r--r-- | stagit.1 | 4 |
3 files changed, 4 insertions, 4 deletions
@@ -85,7 +85,7 @@ Script: }' -Set clone url for a directory of repos +Set clone URL for a directory of repos -------------------------------------- #!/bin/sh cd "$dir" diff --git a/example_create.sh b/example_create.sh index cbf9c33..24bcec5 100755 --- a/example_create.sh +++ b/example_create.sh @@ -6,7 +6,7 @@ # - copy style.css, logo.png and favicon.png manually, a style.css example # is included. # -# - write clone url, for example "git://git.codemadness.org/dir" to the "url" +# - write clone URL, for example "git://git.codemadness.org/dir" to the "url" # file for each repo. # - write owner of repo to the "owner" file. # - write description in "description" file. @@ -1,4 +1,4 @@ -.Dd May 18, 2021 +.Dd July 27, 2021 .Dt STAGIT 1 .Os .Sh NAME @@ -92,7 +92,7 @@ description .It .git/owner or owner (bare repo). owner of repository .It .git/url or url (bare repo). -primary clone url of the repository, for example: +primary clone URL of the repository, for example: git://git.codemadness.org/stagit .El .Pp |