Skip to content

Commit 224973e

Browse files
committed
MAINT: some git / .gitignore housekeeping
Makefile rule for removing .orig files left after git merges. Deal with .orig files in freesurfer data directory. Add some stuff to .gitignores.
1 parent 7af29a2 commit 224973e

File tree

3 files changed

+10
-2
lines changed

3 files changed

+10
-2
lines changed

.gitignore

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,12 @@
1515
*.tmp
1616
.project
1717
.pydevproject
18+
*.py.orig
1819

19-
# Not sure what the next two are for
20+
# Not sure what the next one is for
2021
*.kpf
22+
23+
# Makefile target file markers
2124
*-stamp
2225

2326
# Compiled source #
@@ -58,6 +61,7 @@ dist/
5861
.shelf
5962
.tox/
6063
.coverage
64+
.ropeproject/
6165

6266
# Logs and databases #
6367
######################

Makefile

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -284,5 +284,8 @@ tox-stale:
284284
refresh-readme:
285285
$(PYTHON) tools/refresh_readme.py
286286

287-
.PHONY: orig-src pylint
287+
rm-orig:
288+
# Remove .orig temporary diff files generated by git
289+
find . -name "*.orig" -print | grep -v "fsaverage" | xargs rm
288290

291+
.PHONY: orig-src pylint

doc/source/notebooks/.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
.ipynb_checkpoints/

0 commit comments

Comments
 (0)