[git-users] Re: git filters PATH

2016-12-22 Thread Oded Badt
Update: A coworker found a workaround to my original question:

[filter "remove_outputs"]
clean = */bin/sh -c '$PWD/remove_outputs'*
smudge = cat

Works as long as *remove_outputs* is in the repo root and thats where you 
run your git commands

However, I encountered a larger problem: git config properties cannot be 
kept in the repo so they are not cloned anyway, which kind or renders my 
original question redundant.

Can anyone thing of a workaround my original problem?

Thanks!
   Oded  

On Wednesday, December 21, 2016 at 7:49:11 PM UTC+2, Oded Badt wrote:
>
> Hey, I'm looking for a way for git to find a filter (clean / smudge/ etc ) 
> that is in the root folder of the git repo. I cannot know in advance what 
> the absolute dir of the repos would be and I prefer not to place it maually 
> in the PATH for every clone. Cant anyone think of an idea?
>
> Specifically, it is a python script that does some json manipulation, so 
> sed regexping would be very hard
>
> Any ideas?
>

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[git-users] git filters PATH

2016-12-21 Thread Oded Badt
Hey, I'm looking for a way for git to find a filter (clean / smudge/ etc ) 
that is in the root folder of the git repo. I cannot know in advance what 
the absolute dir of the repos would be and I prefer not to place it maually 
in the PATH for every clone. Cant anyone think of an idea?

Specifically, it is a python script that does some json manipulation, so 
sed regexping would be very hard

Any ideas?

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.