I'm a bit late but rather than VMs I'd recommend Docker with Kitematic.
From the UI you can search for images and in a couple of clicks have the latest and greatest pulled and running locally. Operating systems, databases, programming environments, forums, bug trackers, infrastructure, CI, you name it, there are images for it.
There's a video with a brief introduction here. At the nine minute mark he demonstrates mapping drives, which will give you what you need from a playground point of view.
I think Social Bookmarking services are a niche trend at best. They were very popular in the early-mid 2000's but the need for them was erroded from multiple angles.
Chrome came along with its excellent browser syncing, which in turn forced Firefox to up its game and follow suit. This negated the 'access my bookmarks from anywhere' angle, as once you're signed into your browser, you have full access to not only your bookmarks but also your logins, passwords, sesssions etc.
Secondly, sites like Digg, Reddit and even Pinterest filled the 'sharing cool stuff' niche.
Here's how I'd do it (and have done it for years). It's the canonical, accepted answer for Linux too.
The SSH program has support for 'shortcuts' built in, you simply need to add the hostnames (or aliases) in your ~/.ssh/config file.
So, in my config file, if I have the following entry:
Then, on the command line I simply type ssh git and hit tab a couple of times, and all of the entries that start with git automatically appear for selection/autocompletion:
Note that in the config file I'm specifying which private key (IdentityFile) to use for that host, SSH will use this whenever connecting to this specified host. Previous commenters have already gone through how to set up key pairs; this is definitely the best and most secure way of connecting to remote machines. Ideally you should turn off password based login and rely entirely on a key pair.
If you really want desktop shortcusts, just create a bash script (and make sure it's executable) with the .command suffix. However, with nice tab completion on the command line it's quicker and easier (imho) to just use the built-in command.
I'm not sure actually teaching students syntax is too important, but demonstrating that there are many languages each with their own strengths and weaknesses is. Readability and succinctness are definitely advantages.
Has anyone tried Mastodon yet? For those who don't know it's a federated, distributed and (currently) technology-orientated social network (well, rather a group of interoperable social networks) that's fully open source and ad-free. I've been impressed so far but as with every new network, whether it flies or not will depend on how many people join, contribute and keep the ball rolling.
I am not a lawyer, but I believe that if you 'port' software from one language to another, you're creating a derivative work and the original licence applies. However (from Wikipedia):
As you have created the ports of libraries that are in the public domain, I'd suggest that a Creative Commons licence makes most sense. I noticed on several netlib pages that attribution is requested, so CC-BY might be most suitable (crediting both the original authors and you), or CC-0 if that's not required.
Plus, the CSS is totally different between the first and second fiddles. Posting examples with minimised code is a bad idea, it's clearly broken because while it looks like Bootstrap 2 the fonts aren't applied in the preview window. Total failure.
@pty: Good try, but it was a refurb (and I wanted new, the two year warranty at John Lewis is always hard to ignore), there was only one of them (I needed two) and they don't have any stock :-)
Haha yeah, it was such a good deal it was snapped up in hours
I'd have a higher-specced refurb over a brand new lower-spec machine every day of the week. Granted the 2 year warranty from John Lewis is a nice extra (they sell refurbs with the 2 year warranty too, by the way!)