diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2017-05-25 14:02:55 +0200 |
|---|---|---|
| committer | Alexandre Alapetite <alexandre@alapetite.fr>
| 2017-05-25 14:02:55 +0200 |
| commit | 21954d6d83b94bd9ad4d763fb237710e71f14de1 (patch) | |
| tree | 63f9c337de5d5383a12a656faafa0876c030db39 /cli | |
| parent | f57aaebeb854a617749424f3d62464aceaed98c4 (diff) | |
More git readme
Diffstat (limited to 'cli')
| -rw-r--r-- | cli/README.md | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/cli/README.md b/cli/README.md index aa3a6bf27..fff16f53d 100644 --- a/cli/README.md +++ b/cli/README.md @@ -108,12 +108,19 @@ sudo git checkout -b dev origin/dev # Check out a specific version of FreshRSS # See release names on https://github.com/FreshRSS/FreshRSS/releases +# You will then need to manually change version +# or checkout master or dev to get new versions cd /usr/share/FreshRSS sudo git checkout 1.7.0 -# Check whether there is a new version of FreshRSS +# Verify what branch is used cd /usr/share/FreshRSS -sudo git fetch +sudo git branch + +# Check whether there is a new version of FreshRSS, +# assuming you are on the /master or /dev branch +cd /usr/share/FreshRSS +sudo git fetch --all sudo git status # Discard manual changes (do a backup before) @@ -126,7 +133,8 @@ sudo rm data/do-install.txt cd /usr/share/FreshRSS sudo git clean -f -d -# Update to a newer version of FreshRSS +# Update to a newer version of FreshRSS, +# assuming you are on the /master or /dev branch cd /usr/share/FreshRSS sudo git pull |