[Orgmode] MORE: Using git via USB for personal org dir and other data fi
Alan E. Davis
[Orgmode] MORE: Using git via USB for personal org dir and other data files
Sat, 28 Feb 2009 15:11:59 +1000
Regarding the synchronizing of directories on two or more machines, using a USB Stick. Further questions after a bit of experimentation.
I am currently keeping two workstations up to date via a USB flash drive, and have had, variously, both good and bad luck. Here are some questions:
1. I understand the idea, finally, of using a "bare" repo on the fiash drive, at least in part. But what will I do if the bare repo fails to merge because two versions are pushed or pulled to it from the two machines, of a file. I've wasted a bit of time and now have gotten "meld" installed as the mergetool. Still, sometimes even that doesn't work. Today I have two flash drives in use, one that was working fine to update from one machine, but won't even accept a file from the other. I have clumsily deleted the old version from the USB drive, and copied over the other version, done git rm <oldfile> git add <file> and git commit -a, but the file refuses to install. I'm not going to ask this as a primary question, because I think I need to just understand the underlying idea of using a bare repo, and not editing it at all.
2. I have had poor luck with push.
3. For this simple usage, is it even useful to think about branches, and if so, how should branches be used?
4. Is it wiser to fetch than to pull? I have seen this suggested, but don't understand the use of fetch.
Here is a rough idea of what I think I need to do now. Please comment on any ommissions or problems:
At home, on my primarly workstation: 1. cd to a directory with a good tree (perhaps ~/org) already under git control.
2. insert the USB drive (I have a label "BLUE" on my usb drive. On my gnome/ubuntu box, it automounts as /media/BLUE) 3. git clone --bare . /media/BLUE/org.git 4. git remote add BLUE /media/BLUE/org.git
5. ?? git push BLUE (master?)
Now at work, I am on the other workstation: 1. git clone /media/BLUE/org.git 2. can I now do this?: git remote add BLUE /media/BLUE/org.git 2. work 3. git push BLUE ???
Back at home 1. git fetch BLUE ?? or git pull BLUE ??
I am confused at a couple of points here.
Much of the above I have gleaned from three posts by Bernt Hansen. Other sources on line include some postings on the very problem of syncing machines using git.
Can I pull from /media/BLUE/org.git ?
Well, perhaps this is enough confusion for now. Thanks for all the suggestions on this list. I think it's going to work, and I'll expand this to other directories as well.
-- Alan Davis
It is undesirable to believe a proposition when there is no ground whatsoever for supposing it is true. ---- Bertrand Russell They are ill discoverers that think there is no land, when they can see nothing but sea.
---- Sir Francis Bacon