I. Clean Python setup from scratch. (~1h) Skip if you already have a python environment setup or want to use your own python virtualenv setup
sudo apt-get install python3-pip python-dev
#!/usr/bin/bash | |
synclient VertScrollDelta=-113 | |
synclient HorizScrollDelta=-113 |
# Install package to make windows always on top : | |
sudo apt-fast install -y wmctrl | |
# Set this command in shortcut settings to ctrl+space | |
wmctrl -r :ACTIVE: -b toggle,above |
# Dependencies : apt-fast to speed up. | |
# Install | |
# via http://askubuntu.com/questions/510056/how-to-install-google-chrome | |
wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub | sudo apt-key add - | |
sudo sh -c 'echo "deb http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google-chrome.list' | |
sudo apt-fast update -y | |
sudo apt-fast install google-chrome-stable -y |
topic_map_xml_grammar = r""" | |
start: topic_map_xml | |
topic_map_xml: XML_DEF topic_map | |
XML_DEF: "<?xml version="1.0" encoding="UTF-8"?>" | |
topic_map: OPENTOPICMAPTAG PREDEFINEDTOPIC topic* PREDEFINEDASSOCIATION association* CLOSETOPICMAPTAG | |
OPENTOPICMAPTAG: "{{opentopicmaptag}}" | |
PREDEFINEDTOPIC: "{{predefinedtopic}}" | |
topic: open_topic_tag subject_locator_tag subject_identifier_tag instance_of_tag name_tag occurrence_tag* CLOSETOPICTAG | |
open_topic_tag: TOPICTAG id_attrib ">" | |
TOPICTAG: "<topic " |
.type : Type value | |
ANY → type($expr$) |
.nparray : To np.array | |
ANY → np.array($expr$) | |
.list : To list | |
ANY → list($expr$) |
sudo apt-get install python3-pip python-dev
export LATEX_STY_INSTALL_PATH="/usr/share/texmf/tex/latex/" | |
function install_sty_wget_ctan_latex() { | |
mkdir -p /tmp/sty/ && | |
cd /tmp/sty/ && | |
wget "$1" && | |
unzip $(basename "$1") && | |
folder_name="$(ls -t | tail -1)" | |
echo "mv $folder_name $LATEX_STY_INSTALL_PATH" && | |
sudo mv $folder_name $LATEX_STY_INSTALL_PATH && |