Skip to content

Commit

Permalink
.dockerignore everything in .gitignore (#35)
Browse files Browse the repository at this point in the history
  • Loading branch information
lslunis committed Sep 28, 2022
2 parents a178bd9 + f47f4f9 commit 3b9625f
Show file tree
Hide file tree
Showing 9 changed files with 22 additions and 60 deletions.
1 change: 0 additions & 1 deletion .dockerignore

This file was deleted.

1 change: 1 addition & 0 deletions .dockerignore
31 changes: 19 additions & 12 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,13 +1,20 @@
secrets
__pycache__
.coverage*
store/*
.envrc
.env
**/.vscode/*
data
.mypy_cache
.pre-commit-home
log*.txt
.dmypy.json
**/__pycache__
**/.DS_Store
**/.vscode
**/*.pickle
**/*.pt
**/*.sqlite
/.coverage
/.env
/.git
/.mypy_cache
/.pre-commit-home
/data
/papers/*.pdf
/papers/*.txt
!/papers/keenan-2018-tiny.txt
!/papers/keenan-2018.pdf
/store
/ui/.next/
/ui/node_modules
/ui/public/traces/*.jsonl
2 changes: 1 addition & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ ENV PATH="${VIRTUAL_ENV}/bin:${PATH}"

RUN python -c "import nltk; nltk.download('punkt')"

COPY ui/package.json ui/package-lock.json ui/
COPY ui/package.json ui/package-lock.json ui/patches ui/
RUN npm --prefix ui ci

COPY . .
Expand Down
2 changes: 0 additions & 2 deletions cache/.gitignore

This file was deleted.

1 change: 0 additions & 1 deletion ice/nn/weights/.gitignore

This file was deleted.

2 changes: 1 addition & 1 deletion ice/trace.py
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def make_id() -> str:


trace_dir = Path(__file__).parent.parent / "ui" / "public" / "traces"
trace_dir.mkdir(exist_ok=True)
trace_dir.mkdir(parents=True, exist_ok=True)
trace_file: IO[str] | None = None


Expand Down
6 changes: 0 additions & 6 deletions papers/.gitignore

This file was deleted.

35 changes: 0 additions & 35 deletions ui/.gitignore

This file was deleted.

1 change: 0 additions & 1 deletion ui/public/traces/.gitignore

This file was deleted.

0 comments on commit 3b9625f

Please sign in to comment.