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

attempt to fix autosetting pivotal_ide_prefs #253

Closed
wants to merge 1 commit into from

Conversation

professor
Copy link
Contributor

No description provided.

@Kehrlann
Copy link
Contributor

Should this live in the pivotal_ide_prefs repo instead ?

And maybe we could try and detect whether those products are installed, and not create the directory if not ?

@@ -4,6 +4,8 @@ echo "Installing Python tools"
# guard against pre-installed pycharm
brew cask install pycharm --force

sudo mkdir -p /Users/tsedano/Library/Preferences/Pycharm2018.3
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm guessing these should be using ${HOME} instead of /Users/tsedano?

@professor
Copy link
Contributor Author

Another alternative is that we open each JetBrain product before we install pivotal_ide_prefs -- as a user, its annoying to see an IDE start up, but at least the keybinding might be set

@bleuf1sh
Copy link

@professor that's what I do in my machine setup script... see:

https://github.com/bleuf1sh/setup-dev-mac/blob/master/setupDevEnv.sh#L108

@joemoore
Copy link
Contributor

joemoore commented Sep 8, 2021

We are declaring PR bankruptcy as per #295.

Please review recent changes and direction and resubmit if needed.

Thank you!

@joemoore joemoore closed this Sep 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants