Michael Mior

A shortcut for this would be great, but an alternative suggestion for a shortcut: `k` prompts for a signal number (with SIGTERM as a default), and `K` simply does `kill...

Still an issue for me on [this job](https://travis-ci.com/michaelmior/relational-playground/jobs/273220505).

Duplicate of #167

What version are you seeing this with? Do you still see the same problem if you use the latest git commit?

Country Code: US Language Code: en Account Type: Google Any Further Comments: Recently after logging in I was redirected simply to https://us.m.lgaccount.com/spx/member/showMenuList and of course pasting this in as the...

It would be nice if there were a list of forks somewhere, perhaps on the GitHub README. I just put up [DB Sanity](https://www.db-sanity.com/) yesterday for cs.DB and cs.IR.

I'm up for taking this on if no one else is strongly interested in doing so.

@julianhyde I don't see why we couldn't use it off-the-shelf. You can always mount local files as volumes in Docker containers.

I understand. What I am saying is that if the data is in a local folder, that folder can just be made available to the container without having to change...

FYI as far as OS X support goes, looks like the Docker version using the OS X Hypervisor Framework is getting [good reviews](https://medium.com/@nzoschke/docker-for-mac-beta-review-b91692289eb5#.g23wlvb6t).