search

repobee / repobee-sanitizer

A plugin for sanitizing master repositories before distribution to students
MIT License
2 stars 3 forks source link

It should be possible to remove an entire file #39

Closed slarse closed 4 years ago

slarse commented 4 years ago

I have two ideas off the top of my head:

  1. Have a file with list that specifies files to be removed (which always includes the file with the list itself)
  2. OR, have some other marker that's placed at the top of a file, e.g. REPOBEE-SANITIZER-SHRED

I think the second option seems more smooth, and it's probably easier.

tohanss commented 4 years ago

Definitely option 2