Differences

This shows you the differences between two versions of the page.

--- github_best_practices [2018/11/07 11:05] – Add [Dealing with Github Issues]. Traumflug
+++ github_best_practices [2019/10/05 14:00] (current) – [File Permissions] Clarify link. Traumflug
@@ Line 184: / Line 184: @@
 </code>
+==== File Permissions ====
+A typical problem of developer installations is trouble with file permissions. While the Git repository is owned by the developer, the web server runs as another user. Result: developer can't edit files created by the web server and vice versa.
+Solution is to use extended file permissions. First, move //.git// aside:
+  $ mv <git repository>/.git /tmp
+Then follow instructions at [[Developer Installation#The User Privileges Issue|Developer Installation]].
+That done, move //.git// back:
+  $ mv /tmp/.git <git repository>/
 ===== References =====

github_best_practices.txt · Last modified: 2019/10/05 14:00 by Traumflug