aboutsummaryrefslogtreecommitdiff
path: root/cli
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2017-05-25 13:46:16 +0200
committerGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2017-05-25 13:46:16 +0200
commitf57aaebeb854a617749424f3d62464aceaed98c4 (patch)
tree1f44c48b026bf9bcdf462631d3a8a80753fd1016 /cli
parent431683eb3d118a1072999e899ab2faf3cf58a5e4 (diff)
Readme more advanced git commands
https://github.com/FreshRSS/FreshRSS/issues/1542
Diffstat (limited to 'cli')
-rw-r--r--cli/README.md46
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/
+```