Navigation Menu

Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Backport/20.03 jetbrains #97474

Closed
wants to merge 12 commits into from
Closed

Backport/20.03 jetbrains #97474

wants to merge 12 commits into from

Conversation

kolaente
Copy link
Member

@kolaente kolaente commented Sep 8, 2020

Motivation for this change

Backport of #97359

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@kolaente
Update jetbrains.clion 2020.2 -> 2020.2.1
49a929b 
(cherry picked from commit 487ea9d)
@kolaente
Update jetbrains.datagrip 2020.2 -> 2020.2.2
86768a7 
(cherry picked from commit 977620b)
@kolaente
Update jetbrains.goland 2020.2.1 -> 2020.2.2
36eef6d 
(cherry picked from commit 120d6ed)
@kolaente
Update jetbrains.idea-community 2020.2 -> 2020.2.1
2a4b697 
(cherry picked from commit 7070625)
@kolaente
Update jetbrains.idea-ultimate 2020.2 -> 2020.2.1
04603f8 
(cherry picked from commit 1281a57)
@kolaente
Update jetbrains.mps 2020.2 -> 2020.2.1
687e7c0 
(cherry picked from commit 1ae3cac)
@kolaente
Update jetbrains.phpstorm 2020.2 -> 2020.2.1
ac30a41 
(cherry picked from commit d0ce498)
@kolaente
Update jetbrains.pycharm-community 2020.2 -> 2020.2.1
6a138f6 
(cherry picked from commit b5a8a3b)
@kolaente
Update jetbrains.pycharm-professional 2020.2 -> 2020.2.1
9937805 
(cherry picked from commit 2fa77fe)
@kolaente
Update jetbrains.rider 2020.2 -> 2020.2.1
ec89268 
(cherry picked from commit fe552e4)
@kolaente
Update jetbrains.ruby-mine 2020.2 -> 2020.2.1
c19705c 
(cherry picked from commit 7b46916)
@kolaente
Update jetbrains.webstorm 2020.2 -> 2020.2.1
a136906 
(cherry picked from commit ee939c9)
@kolaente
Copy link
Member Author

kolaente commented Sep 8, 2020

It looks like jetbrains mps isn't yet in stable thats why my cherry pick added it 🤔

@kolaente
Copy link
Member Author

kolaente commented Sep 8, 2020

@Ma27 Okay so I just noticed I had built this on 20.03 and not 20.09, let me fix that

@kolaente kolaente mentioned this pull request Sep 8, 2020
Merged
10 tasks
@kolaente
Copy link
Member Author

kolaente commented Sep 8, 2020

Replaced by #97477

@kolaente kolaente closed this Sep 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@edwtjo edwtjo Awaiting requested review from edwtjo edwtjo is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@kolaente