Nguyễn Hồng Quân hongquan

Delete multiple Git branches with a UI

This assumes you have installed [fzf][1].

$ git branch --no-color | fzf -m | xargs -I {} git branch -D '{}'

Press tab to mark a branch, shift-tab to unmark. Press enter and all marked branches will be deleted.

Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.

Discussion on reddit.

Python 2.x

$ python -m SimpleHTTPServer 8000

	#include "qcom-ipq4019.dtsi"
	#include <dt-bindings/gpio/gpio.h>
	#include <dt-bindings/input/input.h>

	/ {
	model = "Yuncore XD6800";
	compatible = "yuncore,xd6800", "qcom,ipq4019";

	soc {
	mdio@90000 {

	import gi
	gi.require_version('Gdk', '3.0')
	gi.require_version('GObject', '2.0')
	gi.require_version('Gst', '1.0')
	gi.require_version('GstGL', '1.0')
	gi.require_version('GstVideo', '1.0')
	gi.require_version('Gtk', '3.0')
	from gi.repository import Gdk, GObject, Gst, GstGL, GstVideo, Gtk

	Gst.init(None)

	using Gst;

	public int main(string args[])
	{
	Gst.init(ref args);

	Gst.Element screen = Gst.ElementFactory.make ("ximagesrc", "source");
	Gst.Element color_convert = Gst.ElementFactory.make ("videoconvert", "convert");
	Gst.Element encoder = Gst.ElementFactory.make ("x264enc","encoder");
	Gst.Element flv_muxer = Gst.ElementFactory.make ("flvmux", "muxer");