Okay, instead of the following: ./init --tut hello_world
I tried the following: python init --tut hello_world That appears to have resolved the sh import issue and I know how to troubleshoot the errors I'm getting now (obviously missing imports that I still need to install). I'm guessing that it has to do with the python interpreter path at the top of init.py. However, I'm not a Linux expert so I'm not sure how to recommend a change to that. It could be I set the default interpreter incorrectly, though I did follow instructions I found by googling which instructed me to use the "update-alternatives" command. Royce Mitchell, IT Consultant ITAS Solutions roy...@itas-solutions.com There are three hard problems in computer science: naming things, and off-by-one errors. On Thu, Apr 8, 2021 at 12:23 AM Royce Mitchell III <roy...@gmail.com> wrote: > I feel like an idiot for having to ask for help so early, but I'm trying > to get started with the hello world tutorial and ran into a problem very > quickly. > > First off I want to say thank you for all the work that's been put into > the tutorils. The amount of information in them is quite daunting, but > considering the subject matter it's actually very accessible all things > considered. > > I have a Debian 10 linux VM that I'm using for testing. I'm okay building > a VM dedicated solely to seL4 development if that's necessary, but I'm > assuming it's not. > > FYI I had some difficulty with the prerequisites instructions regarding > Debian. This may be the source of the problem I'm having but I'm not sure > how to resolve it. Your setup instructions said to refer to the docker > requirements but when I went there I couldn't find anything on that page > that indicated what exactly I was supposed to install. > > All that being said, here is a capture from my terminal which I'm hoping > illustrates the problem I'm having specifically: > > > rmitchell@ou812:~/sel4-tutorials-manifest$ ./init --tut hello-world > Traceback (most recent call last): > File "./init", line 16, in <module> > import common > File > "/home/rmitchell/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", > line 16, in <module> > import sh > ModuleNotFoundError: No module named 'sh' > rmitchell@ou812:~/sel4-tutorials-manifest$ python > Python 3.9.1 (default, Mar 19 2021, 01:08:36) > [GCC 8.3.0] on linux > Type "help", "copyright", "credits" or "license" for more information. > >>> import sh > >>> sh.__version__ > '1.14.1' > >>> exit() > > > As you can see from my example above, I have Python 3.9.1 installed and > it is the default python interpreter on my system. The "sh" module is > installed and accessible from Python's interactive interpreter, yet when > the common.py file tries to import it, it complains that it can't find the > 'sh' module. FYI sh is installed both at the system and user levels. > > I'll try digging into your source and see if I can figure out what the > issue is. I'll share my findings if I figure it out before you guys point > out my mistakes. > > Thanks! > Royce Mitchell, IT Consultant > ITAS Solutions > roy...@itas-solutions.com > > There are three hard problems in computer science: naming things, and > off-by-one errors. > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
