Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Problem using the terminal to get the OP-TEE developer setup #132

Open
Joao-M6 opened this issue Apr 17, 2019 · 3 comments
Open

Problem using the terminal to get the OP-TEE developer setup #132

Joao-M6 opened this issue Apr 17, 2019 · 3 comments

Comments

@Joao-M6
Copy link

Joao-M6 commented Apr 17, 2019

Not sure if this is the place to ask this question but don't know where to put it.
I'm starting for the first time an OP-TEE project. I was following the guide they have online until I got to a part where the linux terminal doesn't respond as expected.

Already tried with codes for other hardware and the problem is the same. The part that changes is the part where I have rpi3.xml.

The code I tried to use to install was:

repo init -u https://github.com/OP-TEE/manifest -m rpi3.xml [-b ${BRANCH}]

The expected result was simply the installation of the necessary files on the directory I chose but the actual result is the following:

Your identity is: Joao <my_mail>
If you want to change this, please re-run 'repo init' with --config-name

repo has been initialized in /home/joao/project

Thank you for the help and sorry if this is not the right place to ask this.

@jbech-linaro
Copy link
Contributor

To me it looks correct as such, however, if you are going to use repo commands to work with branches etc, then you should to the repo init with the config-name I guess. Having that said, I believe most people work directly with git commands directly in the gits themselves, so I believe it's safe to ignore that message. The important thing is that a) you get all the source code b) can compile everything successfully using the makefile in build.git.

@Joao-M6
Copy link
Author

Joao-M6 commented Apr 17, 2019

I'm a student and this is the first time using the git properly so I don't know how to do it.
Do you have a guide online about how to do it?
Thanks for the help and the quick answer.

@jbech-linaro
Copy link
Contributor

Sure, follow any of these.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants