joschuck · March 20, 2018 12:02
diff --git a/checkout.sh b/checkout.sh
 # checkout specific version of file
 git checkout f08a63ff4fa7b8479f8c698e5998ee1afcac3a4e kitti_to_tfrecords.py
diff --git a/config user email b/config user email
 git config user.name "Johannes Schuck" && git config user.email mail@joschuck.de
diff --git a/copy magic b/copy magic
 #!/bin/sh
 # Not tested

 # get filenames
 git log  --name-status --grep='keyword' | grep -e '^[A,M]\s' | cut -c3- > ~/tmp.txt

 # create directories
 mkdir ~/tmp
 xargs -n 1 dirname < ~/tmp.txt | xargs -I {} mkdir -p ~/tmp/{}

 # copy files
 cat ~/tmp.txt | xargs -I {} cp {}  ~/tmp/{}

 #remove tmp file
 rm ~/tmp.txt
diff --git a/date of last commit b/date of last commit
 git log -1 --format=%cd 
diff --git a/diff_selected_filles.sh b/diff_selected_filles.sh
 git diff -- file1 file2 folder1/*.py
diff --git a/ignore and remove b/ignore and remove
 sed -n "\$a[file]" >> .gitignore
 git rm --cached [file]
	# checkout specific version of file
	git checkout f08a63ff4fa7b8479f8c698e5998ee1afcac3a4e kitti_to_tfrecords.py
	#!/bin/sh
	# Not tested

	# get filenames
	git log --name-status --grep='keyword' \| grep -e '^[A,M]\s' \| cut -c3- > ~/tmp.txt

	# create directories
	mkdir ~/tmp
	xargs -n 1 dirname < ~/tmp.txt \| xargs -I {} mkdir -p ~/tmp/{}

	# copy files
	cat ~/tmp.txt \| xargs -I {} cp {} ~/tmp/{}

	#remove tmp file
	rm ~/tmp.txt