@ -8,7 +8,7 @@ always be here later if you need it.
Not so long ago, it was common for schools and ISPs to hand out shell accounts
on big shared systems. People learned the command line as a side effect of
reading e-mail.
reading their e-mail.
That doesn't happen as often now, but in the meanwhile computers have become
relatively cheap and free software is abundant. If you're reading this on the
@ -38,5 +38,7 @@ example commands should all work there.
use a virtual machine
---------------------
_To come: Instructions for running Linux in a virtual machine on your own
computer or using a cloud provider like Linode, DigitalOcean, or Amazon._
A few options:
* [Use Vagrant to spin up a machine in Virtualbox](https://docs.vagrantup.com/v2/getting-started/index.html)
* [Use DigitalOcean to create a remotely-hosted VM running Linux](https://www.digitalocean.com/community/tutorials/how-to-create-your-first-digitalocean-droplet-virtual-server)
@ -127,7 +127,7 @@ always be here later if you need it.
<p>Not so long ago, it was common for schools and ISPs to hand out shell accounts
on big shared systems. People learned the command line as a side effect of
reading e-mail.</p>
reading their e-mail.</p>
<p>That doesn’t happen as often now, but in the meanwhile computers have become
relatively cheap and free software is abundant. If you’re reading this on the
@ -154,8 +154,13 @@ example commands should all work there.
<h2><aname=use-a-virtual-machinehref=#use-a-virtual-machine>#</a> use a virtual machine</h2>
<p><em>To come: Instructions for running Linux in a virtual machine on your own
computer or using a cloud provider like Linode, DigitalOcean, or Amazon.</em></p>
<p>A few options:</p>
<ul>
<li><ahref="https://docs.vagrantup.com/v2/getting-started/index.html">Use Vagrant to spin up a machine in Virtualbox</a></li>
<li><ahref="https://www.digitalocean.com/community/tutorials/how-to-create-your-first-digitalocean-droplet-virtual-server">Use DigitalOcean to create a remotely-hosted VM running Linux</a></li>