#!/bin/bash vagrant ssh -c 'pgadmin3'