This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Dino < Formula | |
desc "Modern Jabber/XMPP Client using GTK+/Vala " | |
homepage "https://dino.im" | |
## TODO: This is not really a version, but a dummy that's not going to work. | |
# url "https://github.com/dino/dino/archive/0.0.tar.gz" | |
# sha256 "a951b50559671ab30e74304ddc66c943405c8ad1bcbe4d77bef647a081fd0dbb" | |
head do | |
url "https://github.com/dino/dino.git" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import sys | |
from PyQt5.QtWidgets import QApplication, QMainWindow, QTextEdit, QLabel | |
from PyQt5.QtCore import Qt | |
from PyQtAds import ads | |
def makewindow(name): | |
txt = QTextEdit() |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import random | |
import sys | |
class GameMasterStrategy: | |
def step1(self): | |
self.doors = [1,2,3] | |
self._correctDoor = random.choice(self.doors) | |
return self.doors | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# run repeatedly until you have collected enough notifications | |
curl -H "authorization: Bearer $MASTODON_TOKEN" "https://$MASTODON_HOST/api/v1/notifications?limit=30&max_id=$(sqlite3 mastodon.db 'select min(nid) from noti;' || echo 0)" \ | |
| jq '.[] | {nid:.id,type,created_at,user:.account.username,sid:.status.id,content:.status.content}' \ | |
| dumptodb --db mastodon.db --table noti --key nid | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@-moz-document domain("pretix.eu"), domain("staging.pretix.eu"), domain("meow.tunnel.pretix.work") { | |
.navbar-default { | |
background-color: #f4f4f4; | |
} | |
#side-menu > li > a { | |
padding: 4px 15px; | |
background: #ececec; | |
font-size: 9pt; | |
} | |
#side-menu li a:hover { |
OlderNewer