jtull
Joined: 30 Jun 2004
Posts: 233
|
 Posted: Wed Nov 14, 2012 12:45 pm Post subject: Using mintty |
 |
|
Alexander,
We don't currently support mintty, but you can set up your own by creating a script that invokes mintty using the environment set up in the pgi.bat script in ${PGI}/win64/<<release number e.g. 12.10>>/pgi.bat.
Look at the Properties for the PGI Workstation shortcut on the Desktop. The Target field shows how PGI Workstation shell is invoked.
Right-click on the desktop to make a new shortcut for the mintty shortcut. The Target field for the new shortcut should invoke mintty with a startup script that sets the equivalent enviroment that is set by pgi.bat, only for the shell started in mintty.
Note that the debugger and profiler GUIs will probably not work properly when invoked from mintty.
dave |
|
Search
Memberlist
Register
Profile
Log in
