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
#!/bin/bash | |
i3status | while : | |
do | |
read line | |
dir=$(cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd) | |
spotify_status=$(dbus-send --print-reply --session --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.freedesktop.DBus.Properties.Get string:'org.mpris.MediaPlayer2.Player' string:'PlaybackStatus' | tail -n1 | cut -d'"' -f2 | sed -e 's/[\/&]/\\&/g') | |
spotify_artist=$(dbus-send --print-reply --session --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.freedesktop.DBus.Properties.Get string:'org.mpris.MediaPlayer2.Player' string:'Metadata' | awk -f ${dir}/spotify_song.awk | head -n 1 | cut -d':' -f2 | sed -e 's/[\/&]/\\&/g') | |
spotify_song=$(dbus-send --print-reply --session --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.freedesktop.DBus.Properties.Get string:'org.mpris.MediaPlayer2.Player' string:'Metadata' | awk -f ${dir}/spotify_song.awk | tail -n 1 | cut -d':' -f2 | sed -e 's/[\/&]/\\&/g') |
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
0xf9133cb0ccc6e75aab5a427ccbc2edc7b308a010 |
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
MIT License | |
Copyright (c) 2017 Nino van der Linden, Kevin Meder | |
Permission is hereby granted, free of charge, to any person obtaining a copy | |
of this software and associated documentation files (the "Software"), to deal | |
in the Software without restriction, including without limitation the rights | |
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
copies of the Software, and to permit persons to whom the Software is | |
furnished to do so, subject to the following conditions: |
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
// ==UserScript== | |
// @name Telegram - Full Sized Windows | |
// @namespace http://userstyles.org | |
// @description Telegram has a very stupid restricted layout. This removes all width restrictions | |
// @author Roman Karwacik | |
// @run-at document-idle | |
// @match https://web.telegram.org/* | |
// @version 1 | |
// ==/UserScript== | |
(function() { |
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
//SNAKE | |
#include "lcd.h" | |
#include "util.h" | |
#include "os_input.h" | |
#include "os_core.h" | |
#include "os_scheduler.h" | |
#include "os_memory.h" | |
#include "keyb_processor.h" |
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 org.jsoup.Jsoup; | |
import org.jsoup.nodes.Document; | |
import org.jsoup.nodes.Element; | |
import org.jsoup.select.Elements; | |
import java.io.File; | |
import java.nio.charset.StandardCharsets; | |
import java.io.IOException; | |
import java.nio.file.Files; | |
import java.util.*; |
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
FILE=$1 | |
if [ -z $1 ]; then | |
echo "ERROR: First input parameter must be the file!" | |
exit | |
fi | |
COMMANDS="$(grep -E -o '\\[a-zA-Z]+' $1 | sed 's/\\/\\show\\/g')" | |
HEADER="$(sed '/\\begin{document}/q' $1)" | |
echo $HEADER >> temp.tex | |
echo $COMMANDS >> temp.tex | |
echo '\end{document}' >> temp.tex |
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 net.automatalib.automata.fsa.impl.compact.CompactDFA; | |
import net.automatalib.util.automata.Automata; | |
import net.automatalib.util.automata.builders.AutomatonBuilders; | |
import net.automatalib.visualization.Visualization; | |
import net.automatalib.words.Alphabet; | |
import net.automatalib.words.Word; | |
import net.automatalib.words.impl.Alphabets; | |
import java.util.*; | |
public final class RPNICompleteProof { |
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
//const ogham = require('ogham'); | |
let test = { | |
individual: { | |
' ': { | |
char: ' ', | |
code: 5760 | |
}, | |
b: { | |
char: 'ᚁ', | |
code: 5761 |
OlderNewer