marcopalena / polito-os161-docker Goto Github PK

Hi,
so, I finally started my self-built container successfully using a mounted volume, but there is another problem.
When running sys161 -w kernel I get the following:

os161user@2e9e52bbb028:~/os161/root$ sys161 -w kernel
sys161: bind: Invalid argument
sys161: Could not bind debug socket; debugging disabled
sys161: bind: Invalid argument
sys161: Could not set up meter socket; metering disabled
sys161: System/161 release 2.0.8, compiled Mar 14 2022 10:06:22
sys161: Waiting for debugger connection...

And, as you can read from the third line, it means I cannot debug.

I tried also with the image shipped by you (for the Linux/amd64 platform), but I got the same result.

Have someone else had this issue?
Please, if everything is working fine for you with the same configuration, drop a comment.
Thank you.

After installing the C/C++ extension for VSCode into the container, I run into an error like this one:

Starting client failed

followed by the path of the executable that couldn't be launched.

I fixed this by giving to two files execute permissions (in the container), like this:

cd /home/os161user/.vscode-server/extensions/ms-vscode.cpptools-1.8.4/bin
chmod +x cpptools
chmod +x cpptools-srv

Sharing this in case you find this info worth adding to the README.md

Thank you for the docker container, it works like a charm to this point!

Since I own an M1 mac I have compiled the image by myself.

The problem is that when running such images I don't get the os161 directory in
/home/os161user if I use a custom volume.

I think the error is on the volume: the container contains all the files when running without a volume.

Here is the inspect command result for the volume:

[
    {
        "CreatedAt": "2022-03-18T09:45:20Z",
        "Driver": "local",
        "Labels": {},
        "Mountpoint": "/var/lib/docker/volumes/os161-vol/_data",
        "Name": "os161-vol",
        "Options": {
            "device": "/Users/vito/Dropbox (Politecnico Di Torino Studenti)/Programmazione di Sistema/OS161/os161-volume",
            "o": "bind",
            "type": "none"
        },
        "Scope": "local"
    }
]

And here is the command I use to run the image with the volume:

docker run --volume os161-vol:/home/os161user --name os161 -it polito-os161 /bin/bash

Thank you.