Changes between Version 24 and Version 25 of Internal/OpenFlow/miscUnix

Timestamp:

Oct 8, 2012, 8:21:32 PM (12 years ago)

Author:

akoshibe

Comment:

—

Internal/OpenFlow/miscUnix

@@ -10 +10 @@
  * process I/O redirection (`gdb`)
  * fixing garbled text (`gcc`)
+[#dev Development-related] Tools and workarounds
+ * git server setup 
 [#net Network] Various networking-related things.
  * Disabling SSH timeout
@@ -157 +159 @@
 Set it the same for both local and remote machines if it's happening over SSH. 
 ----
+= Development-related = #dev 
+Various odds-and-ends related to tools and workarounds in coding sessions. 
+== git server setup ==   
+A central git repository which things can be pushed to/pulled from, but no changes are directly made to, is a bare repository. These are good as central coordination/synchronization points for larger projects and/or if you work on a project from many locations. There are git commands for setting up a bare repo, but the following steps do roughly achieve the same thing.
+
+Here we assume that you have a git repo that you wish to make a bare repo from, and a host for your bare repo. The host should be running `git`, and you should have SSH access to it. 
+
+ 1. Copy the .git directory from your working git repo, and rename it. If your repo is named "project", the practice is to rename the .git taken from it to "project.git":
+{{{
+ $ cp -Rf project/.git project.git
+}}}  
+ 1. change "bare" to "true" in file `config` in project.git:
+{{{
+ [core]
+        repositoryformatversion = 0
+        filemode = true
+        bare = true
+        logallrefupdates = true
+ ...
+
+}}} 
+ 1. copy the new bare repo to your server.
+{{{
+ $ scp -r project.git [bare repo host]:[path to destination]
+}}}
+ You should now be able to pull from/push to the host with the bare repository as usual. For example, with `git clone`:
+{{{
+ $ git clone ssh+git://[bare repo host]/path/to/project.git
+}}}
+ You will be asked to authenticate with your SSH password. 
+
+ If you already have a local working directory, and you wish to start using your bare repo, just edit .git/config in your local git repo to point it to your server:
+{{{
+ ...
+
+ [remote "origin"]
+        fetch = +refs/heads/*:refs/remotes/origin/*
+        url = ssh+git://[bare repo host]/path/to/project.git
+ ...
+
+}}}
+ Your changes to `config` will be applied starting with the next the git operation you do. 
+
+----
 = Networking-related odds and ends = #net
 Various non-experimental network setups, usually done for convenience.