Skip to content

Instantly share code, notes, and snippets.

View smorad's full-sized avatar

Steven Morad smorad

View GitHub Profile
set -e
set -x
zipfile=$1
wdir='latex_arxiv'
unzip $zipfile -d $wdir
pushd $wdir
svgs=$(find . -name *.svg | sed 's/.svg//')
epses=$(find . -name *.eps | sed 's/.eps//')
# Convert images
@smorad
smorad / setup.sh
Last active April 28, 2024 14:34
Cambridge eduroam on Ubuntu Server 20.04 (on a raspberry pi)
# First setup Ubuntu 20.04 on your SD card if you haven't already
# I assume by this point you have the Ubuntu SD card still in your laptop/pc
# We need to copy the cat tool to the SD card
# Download the installer here: https://cat.eduroam.org/
# Add the cat installer to the pi SD card; run these commands on your laptop
mkdir /mnt/rpi
# Find the block device for your SD card. Be careful here -- you can mess up your OS if you choose the wrong device!
lsblk # You should see something like
# mmcblk0 259:0 0 15.4G 0 disk