FWIW I have hit similar problems on at least Ubuntu 20.04 most recently.
To avoid the problem I follow the instruction on what I think is the
official repo release page:
$ mkdir -p ~/.bin
$ curl https://storage.googleapis.com/git-repo-downloads/repo
$ chmod a+rx ~/.bin/repo
The apt installed version does not work (for me) on at least Ubuntu 20.04.
On Mon, 1 Feb 2021 at 10:16, Millar, Curtis (Data61, Kensington NSW) <
On Fri, 2021-01-29 at 15:38 +0300, abdi mahmud haji
hi sorry for bothering you but i get some
problem with sel4 tutorial
when i trying to get starting with
"repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest"
i got down bellow error and how can i fix it pls
Traceback (most recent call last):
File "/home/sel4/sel4-tutorials-manifest/.repo/repo/main.py", line
from subcmds.version import Version
line s 38, in <module>
['%s' % name])
line 27, in <module>
from hooks import RepoHook
File "/home/sel4/sel4-tutorials-manifest/.repo/repo/hooks.py", line
SyntaxError: invalid syntax
This appears to be an issue with repo. Make sure you have the
latestversion of the repo command line tool installed and python 3.7 or
This may be a problem if the `python` application in your PATH referrs
to Python 2 rather than Python 3.
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems