diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-14 01:48:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-14 01:48:12 +0200 |
commit | e0e9c52167ecaa98fd0fc5304947623c1f247cac (patch) | |
tree | eba2886e1f23a7c339f871790fdda895b336fae4 /pkgs/applications/editors | |
parent | 008853e40d7af12f5d74b7a0c0d7148ec9509545 (diff) | |
parent | 618d0459eb8da08d3f36be8e04ed7c38440e5717 (diff) | |
download | nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.tar nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.tar.gz nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.tar.bz2 nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.tar.lz nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.tar.xz nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.tar.zst nixpkgs-e0e9c52167ecaa98fd0fc5304947623c1f247cac.zip |
Merge pull request #260964 from dritter/fix-jetbrains-update-script
jetbrains: make update script robust against if no channels exist
Diffstat (limited to 'pkgs/applications/editors')
-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"]) } |