rekahsoft
/
dot-files
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
This repository has been archived on 2022-12-11. You can view files and clone it, but cannot push or open issues or pull requests.
dot-files/.emacs.d/templates/ocaml-template.ml

24 lines
786 B
OCaml
Raw Normal View History

Some major revisions as i have recently replaced my desktop. Namely: * switched to systemd for user level daemons and startup programs originally run from .xinitrc * beefed up the logout menu implemented by .bin/xmonadClose.sh to support pretty well all windows-managers (with some minor modification) and now with support for suspend and hibernate .Xdefaults: * did a little rearrangement to make things pretty * added the clipboard extension .authinfo.gpg: .authinfo-cd.gpg: * encrypted authinfo files for gnus (emacs) .bash_profile: * now checks if ~/.bashrc is a file and then executes it instead of just assuming .bashrc: * added a few new aliases * modified path to include ~/.bin .bin/xmonadClose.sh: * now supports pretty well any window manager with minor modification (just edit the actionNames and actionExecs arrays respective elements) * now brings up a dmenu options menu to select one of cancel, logout, suspend, hybrid-sleep, hibernate, or shutdown * uses xdotool to send a hidden 'kill switch' to xmonad upon 'logout' * uses systemctl to suspend, hybrid-sleep and hibernate * uses the classic shutdown command for shutdown .config/mc/: * moved the config files from .mc .config/systemd/user/: * all user instance systemd service files go here default.target.wants/: * contains a symbolic link to all the currently enabled service files emacs.service: * starts the emacs daemon mpd.service: * starts a user level instance of mpd using the config ~/.mpdconf udiskie.service: * starts udiskie (a user level daemon for automounted media using udisk) urxvtd.service: * starts the urxvt daemon unclutter.service: * starts the uncluttered program trayer.service: * starts trayer using the options: --monitor 1 --edge top --align right --expand true --width 4 --height 2 --transparent true --tint 0x000000 xbindkeys.service: * starts xbindkeys xcompmgr.service: * starts xcompmgr xscreensaver.service: * starts xscreensaver .emacs: * added support for magit * added support for ipython * dropped in ELPA version of swank-clojure in place of the AUR version * preparing to use babel (part of org more for use with code) * upgraded yas to the most recent version from ELPA; need to smooth out some minor issues * python-mode is currently commented out in config but working; dropped in ELPA version in place of the AUR version i had previous * disabled gieser (in the process of dropping in the ELPA version..just ran into some hitch) * add a template for ruby to .emacs.d/templates .mpdconf: * user instance mpd config .screenrc: * re-enabled ncmpcpp in place of cmus as i'm using mpd now * disable mc in screen because it doesn't start correctly; mc is available through my xmonad scratchpad "mc" .vimrc: * enabled syntax highlighting .xbindkeysrc: * switched music keybindings from cmus-remote commands to there respective mpc commands * switched www key to conkeror in place of firefox .xinitrc: * use systemd --user to run a user instance of systemd to run startup programs generally run from this script. The programs i have written unit files are specified above and left as comments in this file. .xmobarrc: * my ethernet interface is now called 'eno1' not 'eth0' * TODO: need to setup wireless status xmobar widget for 'wlp7s0' .xmonad/xmonad.hs: * added keybinding for auto-umounting any disk auto-mounted by udiskie (Mod+shift+control u) * now using new .bin/xmonadClose.sh to kill session in a few different ways (Mod+shift q) * added a keybinding to toggle the status bar (xmobar) using (Mod b) * added better support for some full screen games: supertux2, doom3, steam and hl2 * set opacity on all emacs and gvim windows to 13/16 (btw this is done for urxvt using a property in .Xdefaults .xscreensaver: * an auto-generated file by xscreensaver-demo; may consider removing in the future as it can always be auto-generated but its nice to have all my screensavers saved and ready .xsession: * not currently using since i use slim but here for compatibility with gdm,kdm and other de's .zshrc: * some auto-generated changes thanks to compinstall * added a few new aliases * modified path to include ~/.bin Signed-off-by: Collin Doering <rekahsoft@gmail.com>
2013-03-11 03:26:58 +00:00
(*
Various changes to emacs configuration Some highlights include: - Modified theme to better emphasize mode-line - Add .emacs.d/site-lisp-extra to load-path for various emacs-lisp snippets - Add custom yasnippet directory under .emacs.d/snippets - Use flyspell in more non-code modes (eg. various markup languages and mu4e) - Added new sorting rules/categories for ibuffer - Setup Auctex for smooth latex editing - Pimp out editing of lispy langs including: - highlight current sexp at point with hightlight-sexp - enable mode for racket scribble (in .emacs.d/site-lisp-extra/) - add guile to geiser scheme implementations list - Disabled highlight-current-line - Enable bookmarks+ See: http://www.emacswiki.org/emacs/BookmarkPlus - Update auto-insert templates to use variables "author" and "email" correctly. Note: I am considering removing use of auto-insert for templates and instead switching to yasnippet for templates and starting with a empty file. Then a snippet like 'gpl3' could be expanded to be the license or the license header for the file. Also the little info block I have on all of my current templates could also simply be another snippet. - Switched from gnus to mu4e for email; this requires the external tools mbsync and mu. Gnus can still be used but is now depreciated in preference of mu4e (which is much faster and better suited when used in combination with mbsync) - Fixed annoying issue where when quack-mode was enabled C-x C-f was overridden to quack-find-file which didn't have ido-completion - Setup gpg-agent so environment variables are correct (*TODO* this still isn't working 100% as I've noticed miss matches; it could be that somehow GPG_AGENT_INFO changes outside of emacs and because I only fix its value during the evaluation of .emacs it could result in a miss match.) - Add exit confirmation in the mini-buffer Signed-off-by: Collin J. Doering <rekahsoft@gmail.com>
2014-09-07 03:42:04 +00:00
* (C) Copyright @!@AUTHOR@!@ @!@YEAR@!@
Some major revisions as i have recently replaced my desktop. Namely: * switched to systemd for user level daemons and startup programs originally run from .xinitrc * beefed up the logout menu implemented by .bin/xmonadClose.sh to support pretty well all windows-managers (with some minor modification) and now with support for suspend and hibernate .Xdefaults: * did a little rearrangement to make things pretty * added the clipboard extension .authinfo.gpg: .authinfo-cd.gpg: * encrypted authinfo files for gnus (emacs) .bash_profile: * now checks if ~/.bashrc is a file and then executes it instead of just assuming .bashrc: * added a few new aliases * modified path to include ~/.bin .bin/xmonadClose.sh: * now supports pretty well any window manager with minor modification (just edit the actionNames and actionExecs arrays respective elements) * now brings up a dmenu options menu to select one of cancel, logout, suspend, hybrid-sleep, hibernate, or shutdown * uses xdotool to send a hidden 'kill switch' to xmonad upon 'logout' * uses systemctl to suspend, hybrid-sleep and hibernate * uses the classic shutdown command for shutdown .config/mc/: * moved the config files from .mc .config/systemd/user/: * all user instance systemd service files go here default.target.wants/: * contains a symbolic link to all the currently enabled service files emacs.service: * starts the emacs daemon mpd.service: * starts a user level instance of mpd using the config ~/.mpdconf udiskie.service: * starts udiskie (a user level daemon for automounted media using udisk) urxvtd.service: * starts the urxvt daemon unclutter.service: * starts the uncluttered program trayer.service: * starts trayer using the options: --monitor 1 --edge top --align right --expand true --width 4 --height 2 --transparent true --tint 0x000000 xbindkeys.service: * starts xbindkeys xcompmgr.service: * starts xcompmgr xscreensaver.service: * starts xscreensaver .emacs: * added support for magit * added support for ipython * dropped in ELPA version of swank-clojure in place of the AUR version * preparing to use babel (part of org more for use with code) * upgraded yas to the most recent version from ELPA; need to smooth out some minor issues * python-mode is currently commented out in config but working; dropped in ELPA version in place of the AUR version i had previous * disabled gieser (in the process of dropping in the ELPA version..just ran into some hitch) * add a template for ruby to .emacs.d/templates .mpdconf: * user instance mpd config .screenrc: * re-enabled ncmpcpp in place of cmus as i'm using mpd now * disable mc in screen because it doesn't start correctly; mc is available through my xmonad scratchpad "mc" .vimrc: * enabled syntax highlighting .xbindkeysrc: * switched music keybindings from cmus-remote commands to there respective mpc commands * switched www key to conkeror in place of firefox .xinitrc: * use systemd --user to run a user instance of systemd to run startup programs generally run from this script. The programs i have written unit files are specified above and left as comments in this file. .xmobarrc: * my ethernet interface is now called 'eno1' not 'eth0' * TODO: need to setup wireless status xmobar widget for 'wlp7s0' .xmonad/xmonad.hs: * added keybinding for auto-umounting any disk auto-mounted by udiskie (Mod+shift+control u) * now using new .bin/xmonadClose.sh to kill session in a few different ways (Mod+shift q) * added a keybinding to toggle the status bar (xmobar) using (Mod b) * added better support for some full screen games: supertux2, doom3, steam and hl2 * set opacity on all emacs and gvim windows to 13/16 (btw this is done for urxvt using a property in .Xdefaults .xscreensaver: * an auto-generated file by xscreensaver-demo; may consider removing in the future as it can always be auto-generated but its nice to have all my screensavers saved and ready .xsession: * not currently using since i use slim but here for compatibility with gdm,kdm and other de's .zshrc: * some auto-generated changes thanks to compinstall * added a few new aliases * modified path to include ~/.bin Signed-off-by: Collin Doering <rekahsoft@gmail.com>
2013-03-11 03:26:58 +00:00
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*)
(*
* File: @!@FILE@!@
Various changes to emacs configuration Some highlights include: - Modified theme to better emphasize mode-line - Add .emacs.d/site-lisp-extra to load-path for various emacs-lisp snippets - Add custom yasnippet directory under .emacs.d/snippets - Use flyspell in more non-code modes (eg. various markup languages and mu4e) - Added new sorting rules/categories for ibuffer - Setup Auctex for smooth latex editing - Pimp out editing of lispy langs including: - highlight current sexp at point with hightlight-sexp - enable mode for racket scribble (in .emacs.d/site-lisp-extra/) - add guile to geiser scheme implementations list - Disabled highlight-current-line - Enable bookmarks+ See: http://www.emacswiki.org/emacs/BookmarkPlus - Update auto-insert templates to use variables "author" and "email" correctly. Note: I am considering removing use of auto-insert for templates and instead switching to yasnippet for templates and starting with a empty file. Then a snippet like 'gpl3' could be expanded to be the license or the license header for the file. Also the little info block I have on all of my current templates could also simply be another snippet. - Switched from gnus to mu4e for email; this requires the external tools mbsync and mu. Gnus can still be used but is now depreciated in preference of mu4e (which is much faster and better suited when used in combination with mbsync) - Fixed annoying issue where when quack-mode was enabled C-x C-f was overridden to quack-find-file which didn't have ido-completion - Setup gpg-agent so environment variables are correct (*TODO* this still isn't working 100% as I've noticed miss matches; it could be that somehow GPG_AGENT_INFO changes outside of emacs and because I only fix its value during the evaluation of .emacs it could result in a miss match.) - Add exit confirmation in the mini-buffer Signed-off-by: Collin J. Doering <rekahsoft@gmail.com>
2014-09-07 03:42:04 +00:00
* Author: @!@AUTHOR@!@ <@!@EMAIL@!@>
Some major revisions as i have recently replaced my desktop. Namely: * switched to systemd for user level daemons and startup programs originally run from .xinitrc * beefed up the logout menu implemented by .bin/xmonadClose.sh to support pretty well all windows-managers (with some minor modification) and now with support for suspend and hibernate .Xdefaults: * did a little rearrangement to make things pretty * added the clipboard extension .authinfo.gpg: .authinfo-cd.gpg: * encrypted authinfo files for gnus (emacs) .bash_profile: * now checks if ~/.bashrc is a file and then executes it instead of just assuming .bashrc: * added a few new aliases * modified path to include ~/.bin .bin/xmonadClose.sh: * now supports pretty well any window manager with minor modification (just edit the actionNames and actionExecs arrays respective elements) * now brings up a dmenu options menu to select one of cancel, logout, suspend, hybrid-sleep, hibernate, or shutdown * uses xdotool to send a hidden 'kill switch' to xmonad upon 'logout' * uses systemctl to suspend, hybrid-sleep and hibernate * uses the classic shutdown command for shutdown .config/mc/: * moved the config files from .mc .config/systemd/user/: * all user instance systemd service files go here default.target.wants/: * contains a symbolic link to all the currently enabled service files emacs.service: * starts the emacs daemon mpd.service: * starts a user level instance of mpd using the config ~/.mpdconf udiskie.service: * starts udiskie (a user level daemon for automounted media using udisk) urxvtd.service: * starts the urxvt daemon unclutter.service: * starts the uncluttered program trayer.service: * starts trayer using the options: --monitor 1 --edge top --align right --expand true --width 4 --height 2 --transparent true --tint 0x000000 xbindkeys.service: * starts xbindkeys xcompmgr.service: * starts xcompmgr xscreensaver.service: * starts xscreensaver .emacs: * added support for magit * added support for ipython * dropped in ELPA version of swank-clojure in place of the AUR version * preparing to use babel (part of org more for use with code) * upgraded yas to the most recent version from ELPA; need to smooth out some minor issues * python-mode is currently commented out in config but working; dropped in ELPA version in place of the AUR version i had previous * disabled gieser (in the process of dropping in the ELPA version..just ran into some hitch) * add a template for ruby to .emacs.d/templates .mpdconf: * user instance mpd config .screenrc: * re-enabled ncmpcpp in place of cmus as i'm using mpd now * disable mc in screen because it doesn't start correctly; mc is available through my xmonad scratchpad "mc" .vimrc: * enabled syntax highlighting .xbindkeysrc: * switched music keybindings from cmus-remote commands to there respective mpc commands * switched www key to conkeror in place of firefox .xinitrc: * use systemd --user to run a user instance of systemd to run startup programs generally run from this script. The programs i have written unit files are specified above and left as comments in this file. .xmobarrc: * my ethernet interface is now called 'eno1' not 'eth0' * TODO: need to setup wireless status xmobar widget for 'wlp7s0' .xmonad/xmonad.hs: * added keybinding for auto-umounting any disk auto-mounted by udiskie (Mod+shift+control u) * now using new .bin/xmonadClose.sh to kill session in a few different ways (Mod+shift q) * added a keybinding to toggle the status bar (xmobar) using (Mod b) * added better support for some full screen games: supertux2, doom3, steam and hl2 * set opacity on all emacs and gvim windows to 13/16 (btw this is done for urxvt using a property in .Xdefaults .xscreensaver: * an auto-generated file by xscreensaver-demo; may consider removing in the future as it can always be auto-generated but its nice to have all my screensavers saved and ready .xsession: * not currently using since i use slim but here for compatibility with gdm,kdm and other de's .zshrc: * some auto-generated changes thanks to compinstall * added a few new aliases * modified path to include ~/.bin Signed-off-by: Collin Doering <rekahsoft@gmail.com>
2013-03-11 03:26:58 +00:00
* Date: @!@DATE@!@
*)