packages/ircbot: add devShell

packages/servers/ircbot/.envrc

@@ -0,0 +1,2 @@
+source ../../build-support/activate-shell
+nix_direnv_watch_file project.nix

packages/servers/ircbot/project.nix

@@ -2,8 +2,50 @@
 
 let
   python = pkgs.python3;
+  procfile = pkgs.writeText "Procfile" ''
+    ircd: ${pkgs.ngircd}/bin/ngircd --config ${ircdConfig} --nodaemon
+  '';
+
+  ircdConfig = pkgs.writeText "ngircd.conf" ''
+    [Global]
+    Name = ircbot-dev.local
+    Info = IRC Bot Development
+    Network = IRCBotDev
+    Listen = 127.0.0.1
+    Ports = 6668
+
+    [Options]
+    Ident = no
+    PAM = no
+    AllowedChannelTypes = #
+    OperCanUseMode = yes
+    OperChanPAutoOp = yes
+
+    [Channel]
+    Name = #general
+    Topic = General discussions
+
+    [Operator]
+    Name = op
+    Password = op
+  '';
 in
 {
+  projectShells.ircbot = {
+    commands = {
+      irssi-dev = {
+        help = "Irssi for development";
+        command = "exec ${pkgs.irssi}/bin/irssi --config=$PRJ_DATA_DIR/irssi-config --home=$PRJ_DATA_DIR/irssi-home -c 127.0.0.1 -p 6668 \"$@\"";
+      };
+      svc = {
+        help = "goreman with development services";
+        command = "exec ${pkgs.goreman}/bin/goreman -f ${procfile} -set-ports=false \"$@\"";
+      };
+    };
+    tools = [
+      python
+    ];
+  };
   packages.ircbot = with pkgs; stdenvNoCC.mkDerivation {
     pname = "ircbot";
     version = "0.0.0";