Jonathan Bohren jbohren

THIS GIST WAS MOVED TO TERMSTANDARD/COLORS REPOSITORY.

PLEASE ASK YOUR QUESTIONS OR ADD ANY SUGGESTIONS AS A REPOSITORY ISSUES OR PULL REQUESTS INSTEAD!

	import ply.lex, argparse, io

	#Usage
	# python stripcomments.py input.tex > output.tex
	# python stripcomments.py input.tex -e encoding > output.tex

	#This utility is released under the WTFPL license: http://www.wtfpl.net/about/

	def strip_comments(source):
	tokens = (

	This is my current system configuration. I use the intel graphics for graphics, and just keep the NVidia card running for CUDA applications. Note that this setup does not give you 3D acceleration on the NVidia card!

	Sometimes (only after suspend) I have to use the attached reload_nvidia.sh script because my CUDA applications complain about a "invalid device ordinal".

	BIOS version: 1.17
	Linux: Ubuntu 14.04 with kernel 3.17.0-031700rc4-generic
	kernel cmdline: "acpi_osi=!Windows 2012"

	nvidia driver 340 manually installed from the xorg-edgers PPA:
	https://launchpad.net/~xorg-edgers/+archive/ubuntu/ppa

	#!/usr/bin/env bash

	# Set the workspace to the current directory
	alias wspwd='export ROS_WORKSPACE=$(pwd)'

	# Save the workspace used in this shell as the current workspace
	alias wssave='echo -e "$ROS_WORKSPACE" > ~/.curws'

	# Load the saved workspace into this shell
	alias wsload='source $(cat ~/.curws)/setup.bash'

	" Put this in ~/.vim/nerdtree_plugin/git_menu.vim
	"
	" Adds a "g" submenu to the NERD tree menu.
	"
	" Note: this plugin assumes that the current tree root has a .git dir under
	" it, and that the working tree and the .git repo are in the same place
	"
	if exists("g:loaded_nerdtree_git_menu")
	finish
	endif