Skip to content

Instantly share code, notes, and snippets.

@jamesaimonetti

jamesaimonetti/gist:293788

Created February 3, 2010 17:12
Show Gist options
  • Save jamesaimonetti/293788 to your computer and use it in GitHub Desktop.
Save jamesaimonetti/293788 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
(defun erl-shell-with-flags (flags)
"Start an erlang shell with flags"
(interactive (list (read-string "Flags: ")))
(set 'inferior-erlang-machine-options (split-string flags))
(erlang-shell))
;; map Ctrl-c Ctrl-z to the new function
(global-set-key "\C-c\C-z" 'erl-shell-with-flags)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment