Skip to content

Instantly share code, notes, and snippets.

View jcjgraf's full-sized avatar
👨‍💻

Jean-Claude Graf jcjgraf

👨‍💻
View GitHub Profile
function filter() {
return this.id.includes("suggested") || this.id.includes("mentioned") || this.id.includes("supplementary");
}
function book() {
patel = false;
if(!patel) return $(this).children().eq(0).html().includes("Y.N. Patt and S.J. Patel");
else return $(this).children().eq(0).html().includes("D. Harris and S. Harris");
}
@avonmoll
avonmoll / 0_how-I-use-papis.md
Last active January 1, 2026 22:03
A Guide on How to Use papis Sensibly

Installation

Easiest, if you have pip:

$ pip install papis

Adding Documents

Most of the time I add documents via their DOI. For example, I'll be on IEEExplore or ResearchGate and see a paper that I either want to read or know for sure I'll want to cite. So I simply copy the DOI and run

@nstarke
nstarke / resize-ghidra-gui.md
Last active May 6, 2026 20:01
Resize Ghidra GUI for High DPI screens

Resize Ghidra for High DPI screens

If you run Ghidra on a high DPI screen, you will probably find the GUI to be scaled down so small to be almost of no use.

There is a setting that you can adjust to scale the Ghidra GUI:

in $GHIDRA_ROOT/support is a file named launch.properties. In this launch.properties file is the following configuration key:

VMARGS_LINUX=-Dsun.java2d.uiScale=1
@vsajip
vsajip / app.py
Created October 16, 2018 11:13
CLI starter template for Python logging cookbook
import argparse
import importlib
import logging
import os
import sys
def main(args=None):
scriptname = os.path.basename(__file__)
parser = argparse.ArgumentParser(scriptname)
levels = ('DEBUG', 'INFO', 'WARNING', 'ERROR', 'CRITICAL')
@mvetsch
mvetsch / gist:9bfdee7c56140eae2baa0be711fc8ded
Last active February 6, 2024 08:36
Wireless configuration with nmcli (NetworkManager ) for ETHZ (eth / eduroam)
nmcli connection add type wifi con-name eduroam ifname wlp3s0 ssid "eduroam" -- wifi-sec.key-mgmt wpa-eap 802-1x.eap ttls 802-1x.identity [CUT]@student-net.ethz.ch 802-1x.phase2-auth mschapv2 802-1x.domain-suffix-match radius-service.ethz.ch
nmcli connection add type wifi con-name eth ifname wlp3s0 ssid "eth" -- wifi-sec.key-mgmt wpa-eap 802-1x.eap ttls 802-1x.identity [CUT]@student-net.ethz.ch 802-1x.phase2-auth mschapv2 802-1x.domain-suffix-match radius-service.ethz.ch
# activate with
nmcli connection up eduroam --ask
nmcli connection up eth --ask
@mohanpedala
mohanpedala / bash_strict_mode.md
Last active April 29, 2026 15:36
set -e, -u, -o, -x pipefail explanation
@JPvRiel
JPvRiel / journalctl_enable_persistent_storage.md
Last active November 17, 2024 20:29
Enable persistent storage for the systemd journal log

Enable persistent storage for the systemd journal log

Overview

The assumed default setting in /etc/systemd/journald.conf is Storage=auto which implies that systemd journaling will only persist the journal if the expected storage location is available. Otherwise, the journal data is stored in memory and lost between reboots. On Ubuntu 16.04, /var/log/journal does not exist by default. Create it to keep and query events from previous boots.

Considerations:

  • Syslog still provides the persistant log records for Ubuntu 16.04, so enabling persistant systemd journal logging does cause a level of duplicaiton.
  • There are sane defaults:
@ColinLeverger
ColinLeverger / update-images.sh
Created December 8, 2016 11:36
Update all Docker images
docker images | grep -v REPOSITORY | awk '{print $1}' | xargs -L1 docker pull
@mstankie
mstankie / import-plt.py
Created June 15, 2016 19:33
Two images side-by-side using matplotlib (pylab)
import matplotlib.pyplot as plt