hurricanerainbow

This Gist confirms the Linked Identity in my OpenPGP key, and links it to this GitHub account.

Token for proof:
[Verifying my OpenPGP key: openpgp4fpr:0c66a9222d59b760b00634c45f1a235b77a08888]

hurricanerainbow

This Gist confirms the Linked Identity in my OpenPGP key, and links it to this GitHub account.

Token for proof:
[Verifying my OpenPGP key: openpgp4fpr:0c66a9222d59b760b00634c45f1a235b77a08888]

hurricanerainbow

 replace "<\?=\$(.*)\?>" to "<?php echo \$\1; ?>" 
and then "<\?(?!php)" to "<?php"

hurricanerainbow

local mp_tooltip
if not mp_tooltip then
    mp_tooltip = awful.tooltip({ })

    function mp_tooltip:update()
        local name = displayphase:mp_name
        local text = string.format('<span font_desc="monospace">%s</span>', name)
        mp_tooltip:set_text( text )
    end
    mp_tooltip:update()