2016-04-30 00:35:52 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2016-05-01 19:01:28 +02:00
|
|
|
# Source this file and call `tail -f fingers.log` when you don't know WTF is
|
|
|
|
|
# going on.
|
|
|
|
|
|
|
|
|
|
CURRENT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
2016-04-30 00:35:52 +02:00
|
|
|
|
|
|
|
|
function log() {
|
2016-05-01 19:01:28 +02:00
|
|
|
echo "$1" >> "$DIRNAME/../fingers.log"
|
2016-04-30 00:35:52 +02:00
|
|
|
}
|
