This file contains 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 | |
# papirus-folder-color.sh | |
# Generate icon theme inheriting Papirus or Papirus-Dark, | |
# but with different coloured folder icons. | |
# | |
# Copyright: 2019-2022 John Crawley <john@bunsenlabs.org> | |
# | |
# This program is free software: you can redistribute it and/or modify | |
# it under the terms of the GNU General Public License as published by | |
# the Free Software Foundation, either version 3 of the License, or |
This file contains 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 | |
LANG=ja_JP.utf8 | |
pid=$$ | |
date=`date '+%Y-%m-%d-%H_%M'` | |
outdir="." | |
if [ $# -le 1 ]; then |
This file contains 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
<?php | |
header('Content-Type: text/html; charset=utf-8'); | |
class timer { | |
var $starttime; | |
function timer(){ | |
$this->starttime=$this->microtime_float(); | |
} | |
function microtime_float(){ | |
list($usec, $sec) = explode(" ", microtime()); |
This file contains 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
<?php | |
/** | |
* tweets2html.php | |
* | |
* Modified by John Crawley 2013/07/24 | |
* to output html from Twitter feed for embedding in web page. | |
* | |
* Based on twitterfeed.php by Russell Beattie (2012-10-16) | |
* (http://www.russellbeattie.com/blog/twitterfeedphp-get-your-authenticated-twitter-stream-as-an-atom-feed) | |
* |