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 |
THIS GIST WAS MOVED TO TERMSTANDARD/COLORS
REPOSITORY.
PLEASE ASK YOUR QUESTIONS OR ADD ANY SUGGESTIONS AS A REPOSITORY ISSUES OR PULL REQUESTS INSTEAD!
#!/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' |