Difference between revisions of "Removing binaries from transducer repo"

From LING073
Jump to: navigation, search
(Created page with "# Bootstrap a fresh transducer repo # Examine the contents of that and your repo and compare. Make sure to use <code>ls -la</code> so that you can see "hidden" files (i.e., o...")
 
Line 1: Line 1:
−
# Bootstrap a fresh transducer repo
+
# [[Bootstrapping a transducer|Bootstrap a fresh transducer]] directory
 
# Examine the contents of that and your repo and compare.  Make sure to use <code>ls -la</code> so that you can see "hidden" files (i.e., ones that start with <code>.</code>)
 
# Examine the contents of that and your repo and compare.  Make sure to use <code>ls -la</code> so that you can see "hidden" files (i.e., ones that start with <code>.</code>)
 
## Obvious unwanted files are anything ending in <code>.bin</code>, <code>.hfst</code>, anything in the <code>.deps</code> directory, vim swap files (starting with <code>.</code>), etc.
 
## Obvious unwanted files are anything ending in <code>.bin</code>, <code>.hfst</code>, anything in the <code>.deps</code> directory, vim swap files (starting with <code>.</code>), etc.
 
# 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.

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.