Skip to content

Commit

Permalink
FIX: do not write .binder/apt.txt if no apt packages
Browse files Browse the repository at this point in the history
  • Loading branch information
redeboer committed Oct 16, 2024
1 parent 64ba73c commit 60847f5
Showing 1 changed file with 6 additions and 4 deletions.
10 changes: 6 additions & 4 deletions src/compwa_policy/check_dev_files/binder.py
Original file line number Diff line number Diff line change
Expand Up @@ -54,10 +54,12 @@ def _check_optional_dependencies() -> None:

def _update_apt_txt(apt_packages: list[str]) -> None:
apt_txt = CONFIG_PATH.binder / "apt.txt"
if not apt_packages and apt_txt.exists():
apt_txt.unlink()
msg = f"Removed {apt_txt}, because --doc-apt-packages does not specify any packages."
raise PrecommitError(msg)
if not apt_packages:
if apt_txt.exists():
apt_txt.unlink()
msg = f"Removed {apt_txt}, because --doc-apt-packages does not specify any packages."
raise PrecommitError(msg)
return
apt_packages = sorted(set(apt_packages))
__update_file(
expected_content="\n".join(apt_packages) + "\n",
Expand Down

0 comments on commit 60847f5

Please sign in to comment.