Difference between revisions of "Removing binaries from transducer repo"
From LING073
(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 | + | # [[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
- Bootstrap a fresh transducer directory
- Examine the contents of that and your repo and compare. Make sure to use
ls -laso that you can see "hidden" files (i.e., ones that start with.)- Obvious unwanted files are anything ending in
.bin,.hfst, anything in the.depsdirectory, vim swap files (starting with.), etc.
- Obvious unwanted files are anything ending in
- Use
git rm --cached [filenames]to remove any unwanted files from the repo and leave them on your local system. - Use
git commitandgit pushto commit and push the changes.