That sets the python version for vscode, but it didn't seem to set it for leointeg. There is some setting for leo-integ where you can set it. I've found it twice, but I still don't actually know how to get to the setting. But it's there.
I still haven't gotten leointeg to run, though. Once I start the Leo Bridge from a console, how do I know it's still running and how do I stop it? On Tuesday, June 8, 2021 at 3:23:26 PM UTC-4 [email protected] wrote: > I found out how to get VScode to run a particular file for the Python > command: > > " Under the view menu select 'show command pallet'. One of the commands > you can then select from the command palette is 'Python: Select > Interpreter'. Selecting this option will allow you to choose which version > of python to use." > > (from > https://stackoverflow.com/questions/48135624/how-can-i-change-python-version-in-visual-studio-code > ) > > To actually find this command I used the search line, otherwise scrolling > through all the commands would have been a chore. I needed to do this so I > could set PYTHONPATH to point to my Leo git repo. I wrote a little cmd file > to do it. > On Tuesday, June 8, 2021 at 12:42:38 PM UTC-4 Edward K. Ream wrote: > >> On Tue, Jun 8, 2021 at 11:19 AM [email protected] <[email protected]> >> wrote: >> >>> That setting is from Windows, not vscode. I get that same error if I >>> try to run "python3", even though I have 3.9 installed. >> >> >> I tried creating a python3.bat file, but that didn't work. I already had >> a python.bat file. >> >> >>> I think that leointeg must be asking for python using some name that >>> triggers the response from windows. I went to that Windows setting >>> location, and I could turn off the offer to get Python3.9 from the >>> Microsoft store, but then there would probably be nothing th launch by that >>> name. >> >> >> The message said it was trying to execute `python`, so python.bat should >> work. >> >> Edward >> > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/f4d35a56-a721-452c-8332-4d8f81c40cf6n%40googlegroups.com.
