From e6aa748b0610ca3e4ccd84a5ef50be1d2012dbb6 Mon Sep 17 00:00:00 2001 From: Mike Griese Date: Mon, 28 Oct 2019 08:41:50 -0500 Subject: [PATCH 1/2] Create a doc for adding common third-party tools Maybe it would be helpful to have a comprehensive guide on adding some common third-party tools as profiles. --- doc/user-docs/ThirdPartyToolProfiles.md | 35 +++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 doc/user-docs/ThirdPartyToolProfiles.md diff --git a/doc/user-docs/ThirdPartyToolProfiles.md b/doc/user-docs/ThirdPartyToolProfiles.md new file mode 100644 index 00000000000..12dd3324ba0 --- /dev/null +++ b/doc/user-docs/ThirdPartyToolProfiles.md @@ -0,0 +1,35 @@ +# Adding profiles for third-party tools + +This doc will hopefully provide a useful guide for adding profiles for common +third-party tools to your +[profiles.json](https://github.com/microsoft/terminal/blob/master/doc/user-docs/UsingJsonSettings.md) +file. + +All of these profiles are provided _without_ their `guid` set. If you'd like to +set any of these profiles as your _default_ profile, you'll need to make sure to +[generate a unique guid](https://www.guidgenerator.com/) for them manually. + +## Anaconda + +Assuming that you've installed Anaconda into `%USERPROFILE%\Anaconda3`: + +```json +{ + "commandline" : "cmd.exe /K %USERPROFILE%\\Anaconda3\\Scripts\\activate.bat %USERPROFILE%\\Anaconda3", + "icon" : "%USERPROFILE%/Anaconda3/Menu/anaconda-navigator.ico", + "name" : "Anaconda3", + "startingDirectory" : "%USERPROFILE%" +} +``` + +## cmder + +Assuming that you've installed cmder into `%CMDER_ROOT%`: + +```json +{ + "commandline" : "cmd.exe /k %CMDER_ROOT%\\vendor\\init.bat", + "name" : "cmder", + "startingDirectory" : "%USERPROFILE%" +} +``` From 0e60ff84010a19741a324628eb36137bdfb05591 Mon Sep 17 00:00:00 2001 From: Mike Griese Date: Tue, 5 Nov 2019 10:13:12 -0600 Subject: [PATCH 2/2] add some additional tools from PR --- doc/user-docs/ThirdPartyToolProfiles.md | 32 +++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/doc/user-docs/ThirdPartyToolProfiles.md b/doc/user-docs/ThirdPartyToolProfiles.md index 12dd3324ba0..5a11e6d118e 100644 --- a/doc/user-docs/ThirdPartyToolProfiles.md +++ b/doc/user-docs/ThirdPartyToolProfiles.md @@ -33,3 +33,35 @@ Assuming that you've installed cmder into `%CMDER_ROOT%`: "startingDirectory" : "%USERPROFILE%" } ``` + +## Cygwin + +Assuming that you've installed Cygwin into `C:/Cygwin`: + +```json +{ + "name" : "Cygwin", + "commandline" : "C:/Cygwin/bin/bash --login -i", + "icon" : "C:/Cygwin/Cygwin.ico", + "startingDirectory" : "C:/Cygwin/bin" +} +``` + +Note that the starting directory of Cygwin is set as it is to make the path +work. The default directory opened when starting Cygwin will be `$HOME` because +of the `--login` flag. + +## Git Bash + +Assuming that you've installed Git Bash into `C:/Program Files/Git`: + +```json +{ + "name" : "Git Bash", + "commandline" : "C:/Program Files/Git/bin/bash.exe", + "icon" : "C:/Program Files/Git/mingw64/share/git/git-for-windows.ico", + "startingDirectory" : "%USERPROFILE%" +} +```` + +