As far as I know, there's only 2 things needed to compile programs that use the code examples from the CS50 course.
The cs50.h header file, and the cs50 library (linked when -lcs50 is passed to the compiler).
If you have those, I expect that you'd be able to build your programs using MinGW, which you can download for free.
You wouldn't be using the CS50 ...
I have tried another method for installing cs50-ide not from docker-quick-start-terminal but using Kitematic that I had checked while installing Docker Toolbox. After I installed Docker Toolbox:
Run Kitematic from start menu. It will take a minute to start docker vm
After it successfully opened. Click 'NEW' button on top-left corner and search for 'cs50-ide'...
basically this tells you that you have already run the docker run command before. no need to re-run this command. to start the IDE, execute:
docker start cs50ide
per step 7 in the docs https://cs50.readme.io/v2015/docs/offline. then visit http://OFFLINE_IP:5050, as instructed, where OFFLINE_IP is the IP you got from the Docker Quickstart Terminal, when ...
Short of using a different computer, there might not be anything you can do. See this superuser thread. (If working offline is not a requirement, you can do most of the CS50 coursework in the CS50 IDE.) Nonetheless, I've opened a bounty on the question in order to see whether I can get someone to come up with a better answer.
@A.Emad: Congratulations on figuring this out for yourself!
Now just make sure that you also accept your own answer by clicking the green check mark, or else this question will never be marked as answered.
I personally am running "apricityos", an archlinux-based distro, and while I found the desktop ide pretty buggy, I am just running the sdk.
Here is a link to the documentation.
Once you've launched the server, just type localhost:8080 in your URL bar.
In order to use check50, style50 and the cs50 library, you must install them, which has been made ...