Skip to content

Instantly share code, notes, and snippets.

running 1 test
[OpenGL] GetString(7938)
[OpenGL] GetIntegerv(33309, 0x43ef1a0)
[OpenGL] GetStringi(7939, 0)
[OpenGL] GetStringi(7939, 1)
[OpenGL] GetStringi(7939, 2)
[OpenGL] GetStringi(7939, 3)
[OpenGL] GetStringi(7939, 4)
[OpenGL] GetStringi(7939, 5)
[OpenGL] GetStringi(7939, 6)
@nicokoch
nicokoch / gdm_background_switcher.sh
Created May 28, 2015 21:29
gdm 3.16 background image switcher
#!/usr/bin/sh
# use $IMAGE environment variable to specify image file
if [ "$IMAGE" = "" ]; then
IMAGE=$(
dbus-launch gsettings get org.gnome.desktop.screensaver picture-uri |
sed -e "s/'//g" |
sed -e "s/^file:\/\///g"
)
fi
@nicokoch
nicokoch / reddit_dl.py
Last active August 29, 2015 14:03
Command line script to download images from reddit image-posts
#!/usr/bin/env python2
import os
import getpass
import urllib2
from StringIO import StringIO
import time
import datetime
import argparse
import praw
from bs4 import BeautifulSoup