juanje

#!/usr/bin/env python

from xdg import IniFile, BaseDirectory, DesktopEntry
from os import path
import pynotify

# Desktop Notifications Specification: http://www.galago-project.org/specs/notification/0.9/index.html
title = "HANS: Device detected"
message = "An ebook has been plugged"
timeout = pynotify.EXPIRES_DEFAULT

juanje

#!/usr/bin/env python

from xdg import BaseDirectory
from xdg.IniFile import IniFile
from os import path
from glob import glob

desktop_files = []

for dirname in BaseDirectory.xdg_data_dirs:

juanje

# Let's say you've created a branch 'my_changes' you have pushed to Github, but now
# you want to remove it.
# Let's also set the remote which point to your Github account is 'origin'

# These are the needed steps:

# 1 - Delete the branch locally
git -D my_changes

# 2 - Push those changes (the delete) to Github

juanje

#
# vendor/plugins/redmine_gist/init.rb
#
require 'redmine'
require 'open-uri'

Redmine::Plugin.register :redmine_gist do
  name 'Redmine Gist embed plugin'
  author 'Yasushi Abe <[email protected]>'
  description 'This is a plugin for Redmine'

juanje

#!/bin/bash


while [ "$#" -gt 0 ]
do
	case $1 in
	-h | --help)
		echo "Show program help for $(basename $0)"
		shift
		;;