Skip to content

Instantly share code, notes, and snippets.

@xxmn
xxmn / testing2
Created January 25, 2019 10:27
深圳程序员开发群test
深圳程序员开发群test
-module(gen_event_caster).
-author('Fernando Benavides <elbrujohalcon@inaka.net>').
-behaviour(gen_event).
-export([start/2]).
-export([init/1, handle_event/2, handle_call/2, handle_info/2, terminate/2, code_change/3]).
-type receiver() :: atom() | pid().
@xxmn
xxmn / extend.sh
Created September 21, 2018 07:17 — forked from wvengen/extend.sh
Extend non-HiDPI external display above HiDPI internal display
#!/bin/sh
# extend non-HiDPI external display on DP* above HiDPI internal display eDP*
# see also https://wiki.archlinux.org/index.php/HiDPI
# you may run into https://bugs.freedesktop.org/show_bug.cgi?id=39949
# https://bugs.launchpad.net/ubuntu/+source/xorg-server/+bug/883319
EXT=`xrandr --current | sed 's/^\(.*\) connected.*$/\1/p;d' | grep -v ^eDP | head -n 1`
INT=`xrandr --current | sed 's/^\(.*\) connected.*$/\1/p;d' | grep -v ^DP | head -n 1`
ext_w=`xrandr | sed 's/^'"${EXT}"' [^0-9]* \([0-9]\+\)x.*$/\1/p;d'`
0x3111d7c100C22dD5154BCb8fe6De37db0cee0136