I am trying to figure out how to install Doug Finke’s PSharp add-on into PS ISE.
I downloaded the zip file from github & it contains a number of .ps1 files in a couple of different directories. Tried adding just the psharp.ps1 file contents to the end of my Microsoft.PowerShellISE_profile.ps1 file & it did add PSharp to the add-on’s drop down menu but it also threw a bunch of errors in the console window when I opened ISE. Do i need to add the contents of the other 12 .ps1 files to my ISE profile?
Any tips/advice would be most appreciated.