Skip to content

Instantly share code, notes, and snippets.

View rightson's full-sized avatar

Scott Chen rightson

17 followers · 81 following
View GitHub Profile
@rightson
rightson / Makefile
Last active July 11, 2019 12:09
My Makefile to build PDF from LaTex
SOURCE := paper.tex
mk:
latexmk -cd -f -pdf -interaction=nonstopmode -synctex=1 $(SOURCE)
pdf:
pdflatex $(SOURCE)
clean:
$(call clean)
@rightson
rightson / jupyter-custom.js
Created June 18, 2019 11:57
Custom scripts for supporting sublime keymap
// .jupyter/custom/custom.js
require(["codemirror/keymap/sublime", "notebook/js/cell", "base/js/namespace"],
function(sublime_keymap, cell, IPython) {
cell.Cell.options_default.cm_config.keyMap = 'sublime';
cell.Cell.options_default.cm_config.extraKeys['Ctrl-Enter'] = function() { console.log('ctrl-enter') };
var cells = IPython.notebook.get_cells();
for (var cl = 0; cl < cells.length; cl++) {
cells[cl].code_mirror.setOption('extraKeys', {
'Ctrl-Enter': function () {}
@rightson
rightson / let-robo3t-scale-in-hidpi.sh
Last active May 24, 2019 16:07
The trick to scale Robo3t in HiDPI resolution
export QT_SCALE_FACTOR=2
export QT_AUTO_SCREEN_SCALE_FACTOR=0
cat << EOF > /dev/null
Below is an example of *.desktop file (Ubuntu 16.04)
[Desktop Entry]
Name=Roto3T
Exec=env QT_SCALE_FACTOR=2 QT_AUTO_SCREEN_SCALE_FACTOR=0 /opt/robo3t/bin/robo3t
@rightson
rightson / rdp-example-usage.sh
Last active March 29, 2019 03:35
A naive wrapper for xfreerdp v2.0.0 (with an example usage)
#!/bin/bash
# Assuming this script is put in the same folder with rdp.sh
host=<your-host-address>
user=<your-account>
password=<your-pwd>
cwd="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
source $cwd/rdp.sh
@rightson
rightson / Makefile
Last active February 16, 2019 08:11
Naive Makefile for compiling and running single c++ source file
TARGET := $(MAKECMDGOALS)
CXX_FLAGS := -std=c++11
$(TARGET): force-clean
g++ $(TARGET).cpp $(CXX_FLAGS) -o $(TARGET) && ./$(TARGET)
force-clean:
\rm -f $(TARGET)
@rightson
rightson / vbox-manage-discovery-guest-ip.sh
Last active October 29, 2018 15:17
Discovering Guest IP Address of VirtualBox
# reference: https://forums.virtualbox.org/viewtopic.php?f=7&t=29861
# get guest's IP address
guest_name=full-name-of-vbox
VBoxManage --nologo guestproperty get "${guest_name}" /VirtualBox/GuestInfo/Net/0/V4/IP
VBoxManage --nologo guestproperty get "${guest_name}" /VirtualBox/GuestInfo/Net/1/V4/IP
@rightson
rightson / roto3t.desktop
Created October 26, 2018 01:55
Roto3t desktop file for Ubuntu
[Desktop Entry]
Name=Roto3T
Exec=/opt/robo3t/bin/robo3t
Type=Application
Terminal=false
Comment=Robo3T
Icon=/opt/robo3t/bin/robo3t.png
@rightson
rightson / XMind.desktop
Last active October 26, 2018 01:53
XMind-8 For Ubuntu 18.04
[Desktop Entry]
Name=XMind
Exec=/opt/xmind-8/XMind_amd64/XMind.sh
Type=Application
Terminal=false
Comment=XMind 8
Icon=/opt/xmind-8/XMind_amd64/XMind.ico
@rightson
rightson / router.sh
Last active October 25, 2018 07:43
A helper for simplifying and remembering the add/route default gateway commands
#!/bin/bash
CONFIG=~/.route.conf
function usage() {
echo -e "Usage: `basename $0` <options>\noptions:"
grep "^function" $0 | sed 's/function/ /g' | sed 's/[{()]//g'
}
function list() {
@rightson
rightson / sslvpn.sh
Last active October 24, 2018 13:39
Pulse Secure Client Wrapper for Ubuntu (for Pulse-Secure-8.2R5) with simple usename/hostname cache
#!/bin/bash
CLIENT=/usr/local/pulse/PulseClient.sh
CONFIG=~/.sslvpn.conf
function usage() {
echo -e "Usage: `basename $0` <options>\noptions:"
grep "^function" $0 | sed 's/function/ /g' | sed 's/[{()]//g'
}