Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = git@github.com:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
| (add-hook 'hack-local-variables-hook 'run-local-vars-mode-hook) | |
| (defun run-local-vars-mode-hook () | |
| "Run a hook for the major-mode after the local variables have been processed." | |
| (run-hooks (intern (concat (symbol-name major-mode) "-local-vars-hook")))) | |
| (defun detect_buffer_venv (buffer-name) | |
| (let ((buffer-dir (file-name-directory buffer-name))) |
I want to edit in one tab, run what I edit in the other. Typical multi-view stuff. I've used Terminal.app for the last few years. Lately, however, after not long enough, Terminal gets laggy when I switch between tabs.
The stutter between edit and run is annoying, an unnacceptable. One of the major reason I've chosen to work with character based UI is because it is snappy. There shouldn't be a lag while a screen of UTF-8 is rendered in a monospace font.
The lag gets progressively longer, chipping at my productivity with irritation. The only solution is to kill all my Terminals, which essentially kills my flow. Terminal.app won't remember where I was for me. I have to initialize ever tab.