You are right, we actually don't put much effort teaching these things, its pretty much lazy learning when it comes to devops. However, I make it a point to host and handle everything in-house so students see the whole picture of how the internet works. The alternative is to push to heroku or host code on github, which introduces black box.