Merge "Use proper sed separator for paths"
This commit is contained in:
commit
9eb64896dd
@ -185,4 +185,4 @@ rm -Rf $DEST/async
|
|||||||
# Clean any safe.directory items we wrote into the global
|
# Clean any safe.directory items we wrote into the global
|
||||||
# gitconfig. We can identify the relevant ones by checking that they
|
# gitconfig. We can identify the relevant ones by checking that they
|
||||||
# point to somewhere in our $DEST directory.
|
# point to somewhere in our $DEST directory.
|
||||||
sudo sed -i "/directory=${DEST}/ d" /etc/gitconfig
|
sudo sed -i "\+directory = ${DEST}+ d" /etc/gitconfig
|
||||||
|
Loading…
x
Reference in New Issue
Block a user