pearcej / opensource

Open Source: What it is and How to Contribute
4 stars 27 forks source link

Add logs/ to be ignored by git #263

Closed Boorclark closed 1 year ago

Boorclark commented 1 year ago

Description

This PR is a simple one-line change that will make the development process mildly easier by making sure that Git does not track build files.

Testing

  1. Build locally using the command: python3 -m pretext build web.
  2. Confirm that your build log remains accessible in the "logs/" directory.
  3. Execute a git status command and verify that the "logs/" folder does not appear among the untracked items.

fixes #262

pearcej commented 1 year ago

good catch!