Erik Körner Querela

VSCode remote in WSL

with Latex Workshop
compiling XeLaTeX using MikTex

MikTex installation:

/mnt/c/miktex-portable/texmfs

Fonts in Windows

for use in WSL, but with MikTex on Windows, it is not really required :-/
see file: ~/.config/fontconfig/fonts.conf

s = "abcdba"
all(f==e for f, in zip(s[0:len(s)//2:1], s[len(s):(len(s)-1)//2:-1]))

Docker Commands, Help & Tips

Show commands & management commands

$ docker

Docker version info

Here are a list of headless browsers that I know about:

[HtmlUnit][1] - Java. Custom browser engine. JavaScript support/DOM emulated. Open source.
[Ghost][2] - Python only. WebKit-based. Full JavaScript support. Open source.
[Twill][3] - Python/command line. Custom browser engine. No JavaScript. Open source.
[PhantomJS][4] - Command line/all platforms. WebKit-based. Full JavaScript support. Open source.
[Awesomium][5] - C++/.Net/all platforms. Chromium-based. Full JavaScript support. Commercial/free.
[SimpleBrowser][6] - .Net 4/C#. Custom browser engine. No JavaScript support. Open source.
[ZombieJS][7] - Node.js. Custom browser engine. JavaScript support/emulated DOM. Open source.
[EnvJS][8] - JavaScript via Java/Rhino. Custom browser engine. JavaScript support/emulated DOM. Open source.

execute shell command

An example in python 2 on how you can run a shell command from within your python program. Further examples can be found in the python 2 documentary on subprocess.

file: utils.py

# -*- coding: utf-8 -*-

#
# utils.py

	from sqlalchemy import event
	from sqlalchemy import DDL


	def _mysql_cidr_overlap(metadata):
	@event.listens_for(metadata, "after_create")
	def _create_mysql_proc(target, connection, **kw):
	if connection.engine.name != 'mysql':
	return

	child(n1, [n11, n12]).
	child(n11, [c11, c2]).
	child(n12, [c11]).
	child(c1, [c11, c12]).
	child(c11, [p111, p112]).
	child(c12, [p112]).


	% distributive
	is_child(A, B) :- child(A,KIDS), member(B, KIDS).

	import signal

	class InterruptableRegion(object):
	def __init__(self, sig=signal.SIGINT):
	self.sig = sig
	self.interrupted = False
	self.released = False
	self.original_handler = None

	def __enter__(self):

	# GIT PS1
	# COLORS
	LIGHT_GRAY="\[\033[0;37m\]"; BLUE="\[\033[0;34m\]"; RED="\[\033[0;31m\]"; LIGHT_RED="\[\033[1;31m\]";
	GREEN="\[\033[0;32m\]"; WHITE="\[\033[1;37m\]"; LIGHT_GRAY="\[\033[0;37m\]"; YELLOW="\[\033[1;33m\]";
	BROWN="\[\033[0;33m\]"; BLACK="\[\033[0;30m\]";PURPLE="\[\033[0;35m\]";CYAN="\[\033[0;36m\]";
	# GIT PROMPT (http://gist.github.com/120804)
	function parse_git_branch {
	git branch --no-color 2> /dev/null \| sed -e '/^[^]/d' -e 's/ \(.*\)/ \(\1\)/';
	}
	function parse_git_status {