4 ms·
Docker? After attemping to install dependencies and build GIS tools originating in the 90´s, I am so thankful for people who have published docker images of obs
by noughtme 4y ago
Docker? After attemping to install dependencies and build GIS tools originating in the 90´s, I am so thankful for people who have published docker images of obscure software.
- davrosthedalek 4y agoThe students have to develop software using the framework, not just use the final program. I always found docker as a dev environment rather painful. Maybe I have to revisit.
- snoopy_telex 4y agoMaybe https://www.vagrantup.com https://www.vagrantup.com would be a better solution then vanilla docker
- imron 4y ago> I always found docker as a dev environment rather painful. I’ve found the following to work quite well: Have a docker compose file setup that runs a container with all the necessary build tools and anything else. Map home directories, /opt and anything else you want to persist as named volumes. Run docker compose up -d Use the remote development extension of vscode to connect to the container and develop almost as if it was local.
- MathMonkeyMan 4y agoThis is a neat idea.
- davrosthedalek 4y agovscode's remote dev is indeed god-tier. I love vscode.
- imron 4y agoI’m not a huge fan of vscode (speaking as a c++ dev), but remote dev is a killer feature so I use it over other alternatives.