Re: 1. Re: errors when make camkes-tutorials-manifest
the output of ls -al for my .stack directory:
drwxrwxr-x 4 talos talos 4096 3?? 29 17:19 .stack
my username is talos
Thanks
------------------ Original ------------------
From: "devel-request";<[email protected]>;
Date: Sat, Apr 1, 2017 06:29 AM
To: "devel"<[email protected]>;
Subject: Devel Digest, Vol 35, Issue 1
Send Devel mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
https://sel4.systems/lists/listinfo/devel
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: errors when make camkes-tutorials-manifest
([email protected])
2. Announcing seL4 5.0.0 ([email protected])
3. Creating process from not root process ([email protected])
4. Confusion with various memory address (Daniel (Xiaolong) Wang)
----------------------------------------------------------------------
Message: 1
Date: Fri, 31 Mar 2017 03:46:28 +0000
From: <[email protected]>
To: <[email protected]>
Subject: Re: [seL4] errors when make camkes-tutorials-manifest
Message-ID: <[email protected]>
Content-Type: text/plain; charset="iso-8859-1"
Hi Talos,
Are you the owner of /home/talos/.stack ?
For comparison, the output of ls -al for my .stack directory:
drwxr-xr-x 10 ssteve ssteve 4096 Jan 24 15:25 .stack
My username is ssteve.
You could also try renaming your .stack directory so stack can create a new one
for you.
Cheers,
Stephen
________________________________
From: Devel <[email protected]> on behalf of talos <[email protected]>
Sent: Thursday, 30 March 2017 9:28 PM
To: devel
Subject: [seL4] errors when make camkes-tutorials-manifest
Hi,
When I made this tutorials, there was an error;
You are not the owner of '/home/talos/.stack/'. Aborting to protect file
permissions.
Retry with '--allow-different-user' to disable this precaution
How can I do this, thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://sel4.systems/pipermail/devel/attachments/20170331/b3b2c08e/attachment-0001.html>_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
