Skip to content

Instantly share code, notes, and snippets.

@jsjaspreet
Created April 27, 2015 22:39
Show Gist options
  • Save jsjaspreet/6ba24bb0888c713cb16a to your computer and use it in GitHub Desktop.
Save jsjaspreet/6ba24bb0888c713cb16a to your computer and use it in GitHub Desktop.
# ~/.tmuxinator/db-hw4.yml
name: os-proj2
# Optional tmux socket
# socket_name: foo
# Runs before everything. Use it to start daemons etc.
pre:
- vagrant halt
- vagrant up
# Runs in each window and pane before window/pane specific commands. Useful for setting up interpreter versions.
# pre_window: rbenv shell 2.0.0-p247
# Pass command line options to tmux. Useful for specifying a different tmux.conf.
tmux_options: -f ~/.tmux.conf -2
# Change the command to call tmux. This can be used by derivatives/wrappers like byobu.
# tmux_command: byobu
# Specifies (by name or index) which window will be selected on project startup. If not set, the first window is used.
# startup_window: logs
windows:
- cs162-vm:
layout: main-vertical
panes:
- main:
- sleep 1s
- vagrant ssh
- cd /home/vagrant/group-repo/group145/pintos/src/userprog
- extra:
- sleep 3s
- vagrant ssh
- cd /home/vagrant/group-repo/group145/pintos/src/userprog
- local-dev:
- cd /home/jsjaspreet/school/operating-systems/group-repo/group145/pintos/src/userprog/
- chromium-browser http://cs162.eecs.berkeley.edu/static/projects/project2.pdf piazza.com https://github.com/Berkeley-CS162/group145 &
- import-local:
- vagrant ssh
- cd /vagrant/school/operating-systems/group-repo/group145/pintos/src/
- watch -n 1 rsync -avur * --exclude=tests --exclude=userprog/build /home/vagrant/group-repo/group145/pintos/src/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment