diff options
author | Dominik Ritter <dritter03@googlemail.com> | 2023-10-14 01:27:02 +0200 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-14 01:47:16 +0200 |
commit | 618d0459eb8da08d3f36be8e04ed7c38440e5717 (patch) | |
tree | af0bf7dae35770046bc882f6b5a45fbeeffe519d | |
parent | ba5a966863965541b40a9e71e8511e082a7b134d (diff) | |
download | nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.tar nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.tar.gz nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.tar.bz2 nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.tar.lz nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.tar.xz nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.tar.zst nixpkgs-618d0459eb8da08d3f36be8e04ed7c38440e5717.zip |
jetbrains: make update script robust against if no channels exist
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
-rwxr-xr-x | pkgs/applications/editors/jetbrains/update_ides.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/editors/jetbrains/update_ides.py b/pkgs/applications/editors/jetbrains/update_ides.py index 9008906bde7..c15f6d7f2c3 100755 --- a/pkgs/applications/editors/jetbrains/update_ides.py +++ b/pkgs/applications/editors/jetbrains/update_ides.py @@ -31,6 +31,7 @@ def download_channels(): return { channel["@name"]: channel for product in products + if "channel" in product for channel in one_or_more(product["channel"]) } |