Skip to content

Instantly share code, notes, and snippets.

@bonkydog
Created September 7, 2013 19:38
Show Gist options
  • Select an option

  • Save bonkydog/6478571 to your computer and use it in GitHub Desktop.

Select an option

Save bonkydog/6478571 to your computer and use it in GitHub Desktop.
Save and feed the current file to Oz compiler
(defun oz-save-and-feed-current-file ()
"Save the current file and feed it to the Oz Compiler"
(interactive)
(save-buffer)
(oz-feed-file buffer-file-name))
(global-set-key (kbd "<f12>") 'oz-save-and-feed-current-file)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment