Difference between revisions of "Removing binaries from transducer repo"

From LING073
Jump to: navigation, search
Line 4: Line 4:
 
# Use <code>git rm --cached [filenames]</code> to remove any unwanted files from the repo and leave them on your local system.
 
# Use <code>git rm --cached [filenames]</code> to remove any unwanted files from the repo and leave them on your local system.
 
# Use <code>git commit</code> and <code>git push</code> to commit and push the changes.
 
# Use <code>git commit</code> and <code>git push</code> to commit and push the changes.
 +
 +
[[Category:Tutorials]]

Revision as of 21:52, 21 February 2017

  1. Bootstrap a fresh transducer directory
  2. Examine the contents of that and your repo and compare. Make sure to use ls -la so that you can see "hidden" files (i.e., ones that start with .)
    1. Obvious unwanted files are anything ending in .bin, .hfst, anything in the .deps directory, vim swap files (starting with .), etc.
  3. Use git rm --cached [filenames] to remove any unwanted files from the repo and leave them on your local system.
  4. Use git commit and git push to commit and push the changes.