Skip to content

chore(dogfood): add a coder_app for JetBrains gateway IDEs #9644

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.

Sign up for GitHub

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

Merged
merged 11 commits into from
Sep 13, 2023
Merged

chore(dogfood): add a coder_app for JetBrains gateway IDEs #9644

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
5c0e39c
chore(dogfood): add a coder_app for JetBrains gateway IDEs
matifali Sep 12, 2023
3042272
fmt
matifali Sep 12, 2023
c8a399b
handle folder path
matifali Sep 12, 2023
0896db1
remove a leftover snippet
matifali Sep 12, 2023
6e65f46
revert filebrowser port
matifali Sep 12, 2023
37158be
remove debug output
matifali Sep 12, 2023
9173f97
make gateway IDE selection mutable
matifali Sep 13, 2023
e96423b
Merge branch 'main' into dogfood-gateway-external
matifali Sep 13, 2023
bf4ded1
chore: add JetBrains product icons (#9664)
matifali Sep 13, 2023
540dce2
Discard changes to site/static/icon/appcode.svg
matifali Sep 13, 2023
cb0f359
Discard changes to site/static/icon/idea.svg
matifali Sep 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
make gateway IDE selection mutable
  • Loading branch information
@matifali
matifali authored Sep 13, 2023
commit 9173f974b4a1b4939917e45a88ab72ad65569030
1 change: 1 addition & 0 deletions dogfood/main.tf
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,7 @@ data "coder_parameter" "jetbrains_ide" {
name = "jetbrains_ide"
display_name = "JetBrains IDE"
icon = "/icon/gateway.svg"
mutable = true
default = jsonencode([
"GO",
"232.9559.64",
Expand Down