Thx for posting those locations,
To my eye the files you list look unmodified.
The reason why I posted is that nothing else was done except to modify the
partition(making it smaller) and so far it looks like everything else is
functioning properly without a problem.
This partition is a typical home partition created formatted EXT4 on a
Linux (openSUSE) system.
Partition re-sizing was done with the latest version of gParted Live which
AFAIK only moves disk blocks around, nothing at the file system level or
higher should have been modified.
TSU
On Sunday, August 26, 2012 5:25:38 AM UTC-7, Konstantin Khomoutov wrote:
On Sat, Aug 25, 2012 at 05:25:03PM -0700, TSU wrote:
Was surprised,
When I re-sized and modified the partition at the disk block level
(using
gparted) where my GIT client folders were located, none of my
directories
configured as mirrors of repos on Github retained their configurations.
I would have thought that the git repo information about each directory
should be stored at the Filesystem or higher level, either as file
attributes or as configuration files, but if that were the case I highly
doubt that the partition modifications I did should have affected git
configurations.
Resolution for re-creating git configs should be simple, I'll just
remove
existing local copies, then start over by cloning and/or initializing
new
local repos and doing a fetch or pull.
But, am still curious why my git configurations didn't survive, where
are
configurations kept that they might be vulnerable?
Git configuration are stored in plain text files, in these three places:
* The system configuration (usually, /etc/gitconfig);
* The global configuraion (usually, ~/.gitconfig);
* The per-repo configuration, repo/.git/config
So I would say the breakage you observed was caused by some other reason
than partition resizing.
--
You received this message because you are subscribed to the Google Groups Git
for human beings group.
To view this discussion on the web visit
https://groups.google.com/d/msg/git-users/-/5HJmIaElvYUJ.
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to
git-users+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/git-users?hl=en.