Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

irc-announce: append PID to nick

Browse Source
This commit is contained in:
tv 2015-06-18 21:55:04 +02:00
parent 99c1e067b1
commit 6669e30924
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/git.nix
View File

@ -49,10 +49,10 @@ let
netcat netcat
])} ])}
IRC_SERVER="$1" IRC_SERVER=$1
IRC_PORT="$2" IRC_PORT=$2
IRC_NICK="$3" IRC_NICK=$3$$
IRC_CHANNEL="$4" IRC_CHANNEL=$4
message=$5 message=$5
export IRC_CHANNEL # for privmsg_cat export IRC_CHANNEL # for privmsg_cat