diff options
| author | 2017-05-25 13:46:16 +0200 | |
|---|---|---|
| committer | 2017-05-25 13:46:16 +0200 | |
| commit | f57aaebeb854a617749424f3d62464aceaed98c4 (patch) | |
| tree | 1f44c48b026bf9bcdf462631d3a8a80753fd1016 /cli | |
| parent | 431683eb3d118a1072999e899ab2faf3cf58a5e4 (diff) | |
Readme more advanced git commands
https://github.com/FreshRSS/FreshRSS/issues/1542
Diffstat (limited to 'cli')
| -rw-r--r-- | cli/README.md | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/cli/README.md b/cli/README.md index 0123e8d6e..aa3a6bf27 100644 --- a/cli/README.md +++ b/cli/README.md @@ -89,3 +89,49 @@ Example to get the number of feeds of a given user: ```sh ./cli/user-info.php --user alex | cut -f6 ``` + + +# Install and updates + +## Using git + +If you manage FreshRSS via command line, then installing and updating FreshRSS can be done via git: + +```sh +# Install FreshRSS +cd /usr/share/ +sudo git clone https://github.com/FreshRSS/FreshRSS.git + +# Use the development version of FreshRSS +cd /usr/share/FreshRSS +sudo git checkout -b dev origin/dev + +# Check out a specific version of FreshRSS +# See release names on https://github.com/FreshRSS/FreshRSS/releases +cd /usr/share/FreshRSS +sudo git checkout 1.7.0 + +# Check whether there is a new version of FreshRSS +cd /usr/share/FreshRSS +sudo git fetch +sudo git status + +# Discard manual changes (do a backup before) +cd /usr/share/FreshRSS +sudo git reset --hard +# Then re-delete the file forcing the setup wizard +sudo rm data/do-install.txt + +# Delete manual additions (do a backup before) +cd /usr/share/FreshRSS +sudo git clean -f -d + +# Update to a newer version of FreshRSS +cd /usr/share/FreshRSS +sudo git pull + +# Set the rights so that your Web server can access the files +# (Example for Debian / Ubuntu) +cd /usr/share/FreshRSS +sudo chown -R :www-data . && sudo chmod -R g+r . && sudo chmod -R g+w ./data/ +``` |
