• Stars
    star
    321
  • Rank 130,752 (Top 3 %)
  • Language
    JavaScript
  • License
    MIT License
  • Created over 9 years ago
  • Updated about 6 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lightweight dev environments with a twist

envy

Development environment manager. Work in progress, but join the process!

Running Envy

$ docker run -d --name envy \
    -v /mnt/envy:/envy \
    -v /var/run/docker.sock:/var/run/docker.sock \
    -p 80:80 \
    -p 22:22 \
    -e HOST_ROOT=/mnt/envy \
    progrium/envy

Using Envy

You connect to Envy via SSH or HTTP. See this screencast for a demo.

Users are authenticated against GitHub using HTTP auth (user,pass or user,token) or SSH keys.

Concepts

  • environment This refers to a Docker image defining an environment
    • An environment is a Docker image
    • It can also refer to the directory used to build the Docker image
    • Each environment comes with a Docker-in-Docker instance
  • session This is an active shell in a Docker container instance for an environment

Envy Commands

All sessions have access to the envy binary and can run management commands. Some of the commands are only available to users with admin privileges. Here are current commands:

Usage: envy <command> [options] [arguments]

Commands:

    admin ls         list admin users
    admin rm         remove admin user
    admin add        add admin user
    environ rebuild  rebuild environment image
    session reload   reload session from environment image
    session commit   commit session changes to environment image
    session switch   switch session to different environment

Run 'envy help [command]' for details.

Aliased Commands

As long as you keep the default envyrc in your environment, you'll have these aliases set up:

alias commit='exec envy session commit'
alias reload='exec envy session reload'
alias switch='exec envy session switch'
alias rebuild='exec envy environ rebuild'

Exec is necessary to exit to the session manager with status 128, which gets Envy to create a new container from the environment image. This happens quickly behind the scenes, so a session feels like a continuous experience even if happening across multiple containers.

Envy Root

When Envy is run it expects a host bind mount at /envy so it can initialize and persist its file tree. This is where most of the state in Envy is kept. Most configuration is kept here in plain files. Here is an explanation of the tree:

/envy
  /users
    /<user>
      /environs       # directory of environs for this user
      /sessions       # directory of sessions for this user
      /home           # home directory mounted into all sessions
      /root           # root home mounted in all sessions (see #3)
  /config
    users             # file of users allowed to login. defaults to * (any)
    admins            # file of admin users. defaults to first logged in user
  /bin
    envy              # staging of the envy binary to put into sessions

Startup Scripts

Both Bash and POSIX shells are set up to source /root/environ/envyrc when started interactively. For Bash, this is done with a default .bashrc, and for POSIX by setting ENV.

Although you can edit your /root/environ/envyrc, by default it will source a few other RC files. First, ~/.envyrc if it exists, and then /home/<envy-user>/.envyrc_<container-user> if it exists. The latter allows you to specify an RC for the root user of all environments. One use case for this is to symlink /root/.ssh to your envy user's .ssh directory so ssh will have access to your identity keys in all environments.

Moving Host SSH

Envy is best experienced running on port 22 on a host. If you want to move your current OpenSSH to port 2222, here is a one-liner that is likely to work:

$ sed -i -e 's/Port 22/Port 2222/' /etc/ssh/sshd_config

Then restart SSH.

More Repositories

1

darwinkit

Native Mac APIs for Go. Previously known as MacDriver
Go
5,002
star
2

localtunnel

Expose localhost servers to the Internet
Go
3,180
star
3

bashstyle

Let's do Bash right!
1,791
star
4

gitreceive

Easily accept and handle arbitrary git pushes
Shell
1,141
star
5

buildstep

Buildstep uses Docker and Buildpacks to build applications like Heroku
Groovy
908
star
6

entrykit

Entrypoint tools for elegant, programmable containers
Go
442
star
7

keychain.io

Python
395
star
8

duplex

Full duplex modern RPC
Python
385
star
9

busybox

Busybox container with glibc+opkg
Shell
384
star
10

go-basher

Library for writing hybrid Go and Bash programs
Go
375
star
11

topframe

Local webpage screen overlay for customizing your computing experience
JavaScript
349
star
12

go-extpoints

Make Go packages extensible
Go
330
star
13

ginkgo

Python service microframework
Python
323
star
14

termshare

Quick and easy terminal sharing.
Go
320
star
15

go-shell

Go
311
star
16

skypipe

A magic pipe in the sky for the command line
Python
307
star
17

nullmq

ZeroMQ-like sockets in the browser. Used for building gateways and generally applying ZeroMQ philosophy to browser messaging.
JavaScript
276
star
18

wssh

wssh ("wish") is a command-line utility/shell for WebSocket inspired by netcat
Python
260
star
19

viewdocs

Read the Docs meets Gist.io for simple Markdown project documentation
Go
257
star
20

qmux

wire protocol for multiplexing connections or streams into a single connection, based on a subset of the SSH Connection Protocol
Go
231
star
21

docker-stress

Docker container for generating workload stress
Dockerfile
221
star
22

nginx-appliance

A programmable Nginx container
Shell
199
star
23

pluginhook

Simple dispatcher and protocol for shell-based plugins, an improvement to hook scripts
Go
180
star
24

hookah

Asynchronous HTTP request dispatcher for webhooks
Python
144
star
25

cedarish

Heroku Cedar-ish Base Image for Docker
Shell
116
star
26

gh-release

DEPRECATED -- Utility for automating Github releases with file uploads
Shell
112
star
27

notify-io

Open notification platform for the web
Python
107
star
28

postbin

Webhook data inspector
Python
106
star
29

docker-plugins

Plugins for Docker
Shell
102
star
30

basht

Minimalist Bash test runner
Go
98
star
31

embassy

Easy, distributed discovery and routing mesh for Docker powered by Consul
Shell
94
star
32

configurator

Go
89
star
33

scriptlets

Web scripting in the cloud
JavaScript
64
star
34

raiden

Python
60
star
35

hotweb

Live reloading and ES6 hot module replacement for plain old JavaScript
Go
56
star
36

http-subscriptions

54
star
37

rootbuilder

Base Docker image for using buildroot to produce a rootfs.tar
Makefile
53
star
38

miyamoto

Python
45
star
39

oauth2-appengine

Reference server implementation for OAuth2 that runs on App Engine
Python
44
star
40

buildpack-nginx

nginx buildpack
Shell
42
star
41

DarkForest

C#
41
star
42

qtalk-go

versatile stream IO and RPC based IPC stack for Go
Go
41
star
43

systembits

Simplest profiler ever. Like ohai but just shell scripts.
Shell
40
star
44

DrEval

JavaScript sandbox (eval) as a service
Python
39
star
45

pydoozer

Python client for Doozer using gevent
Python
37
star
46

ginkgotutorial

Python
37
star
47

skywatch

Magic cloud alerting system in a self-contained command-line utility
Ruby
37
star
48

yapper

A Jabber/XMPP interface to Growl
Python
34
star
49

wolverine

Previously Miyamoto, a Twisted hub implementation of PubSubHubbub
Python
33
star
50

dockerhook

Docker event stream listener that triggers a hook script
Go
33
star
51

protocol-droid

Universal (read: HTTP) protocol bridge
Python
28
star
52

clon-spec

Command-Line Object Notation: Ergonomic JSON-compatible input syntax for CLI tools.
22
star
53

wsio

Pipe data anywhere
Ruby
22
star
54

hostpool

A worker pool manager for DigitalOcean hosts.
Go
22
star
55

shelldriver

Go
19
star
56

prototypes

Collection of experiments and prototypes
Go
19
star
57

macschema

Toolchain for generating JSON definitions of Apple APIs
Go
18
star
58

vizgo

a visual golang software editor
JavaScript
17
star
59

gh-pages-auth

Set up GitHub Pages and Auth0 authentication with minimal effort
HTML
15
star
60

consul-access

Nginx
14
star
61

mailhooks

Get Email as HTTP POST
Python
13
star
62

busybox-docker

Minimal Docker image with the Docker binary
Shell
13
star
63

tview-ssh

Example using tcell+tview over SSH using gliderlabs/ssh
Go
13
star
64

webdns

DNS over HTTP. Serve DNS with a REST API
12
star
65

irc-for-gmail

Embeddable IRC client for Gmail via Chrome extension. EXPERIMENTAL
JavaScript
11
star
66

ohai-there

Easy system profiling in a Docker container
Go
11
star
67

go-plugins-lua

Lua runtime for go-plugins
Go
11
star
68

dockerbuilder

Shell
10
star
69

javascriptd

Node.js powered script execution container
JavaScript
10
star
70

httpmail

A REST/Atom gateway to IMAP
10
star
71

docker-releasetag

Shell
10
star
72

go-streamkit

High level stream plumbing API in Go
Go
9
star
73

sveltish

Go
9
star
74

progrium.com

My website
HTML
9
star
75

gh-download

Proxy to latest Github Release asset download
Go
9
star
76

go-scripting

Go
9
star
77

tracker-widget

Pivotal Tracker widget for listing stories
Python
9
star
78

cometcatchr

An opinionated Comet client in Flash for Javascript
JavaScript
9
star
79

hackerdojo-signin

Python
8
star
80

pubsubhubbub-testsuite

Hub validation of the PubSubHubbub spec
Ruby
8
star
81

hd-events

This repo is no longer canonical! See link below:
Python
8
star
82

simplex

Go
8
star
83

groknet

ngrok as a net.Listener
Go
8
star
84

growl

A mirror of Growl from Mercurial
Objective-C
8
star
85

docker-9p

Docker Volume Plugin for 9P
Go
8
star
86

websocket-radio

JavaScript
8
star
87

dockerhub-tag

Go
7
star
88

registrator

I hate Docker Hub
7
star
89

domfo

Simple domain forwarder -- redirects web requests based on URL in TXT record
Python
7
star
90

docker-plugin

docker plugin subcommand UX prototype
Shell
7
star
91

electron-largetype

Large Type for Electron apps
HTML
7
star
92

jabberhooks

Jabber to webhook service
Python
6
star
93

platformer

Go
6
star
94

webhooks

Website for webhooks.org
HTML
6
star
95

stomp4py

Python
6
star
96

hackerdojo-signup

The Hacker Dojo member signup app
Python
6
star
97

hackerdojo-kiosk

JavaScript
6
star
98

domdori

Domains Done Right
Python
6
star
99

goja-automerge

Automerge.js in Go via goja
JavaScript
6
star
100

usb

universal seinfeld binary
Go
6
star