irssi: join #idris and #plt

diff --git a/homes/julm/irssi/config b/homes/julm/irssi/config
index e24f495295fac072fe77db0c19b649e79ea3f762..e4de15edb69ff76034851c297307f7c162caca1e 100644 (file)
--- a/homes/julm/irssi/config
+++ b/homes/julm/irssi/config
@@ -144,6 +144,7 @@ channels = (
   { chatnet = "Libera"; name = "haskell-language-server"; autojoin = "no"; },
   { chatnet = "Libera"; name = "haskell-offtopic"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "haskell.nix"; autojoin = "yes"; },
+  { chatnet = "Libera"; name = "idris"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "lobsters-feed"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "nix-community"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "nixos"; autojoin = "yes"; },
@@ -156,6 +157,7 @@ channels = (
   { chatnet = "Libera"; name = "nixos-security"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "nixos-systemd"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "PauLLA"; autojoin = "yes"; },
+  { chatnet = "Libera"; name = "plt"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "postfix"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "sourcephile"; autojoin = "yes"; },
   { chatnet = "Libera"; name = "sr.ht"; autojoin = "yes"; },
@@ -297,6 +299,7 @@ ignores = (
   {
     level = "JOINS PARTS QUITS NICKS";
     channels = (
+      "#PauLLA",
       "#bluehats",
       "#conservancy",
       "#ghc",
@@ -311,6 +314,7 @@ ignores = (
       "#haskell-language-server",
       "#haskell-offtopic",
       "#haskell.nix",
+      "#idris",
       "#ilico",
       "#lobsters-feed",
       "#nix-community",
@@ -325,7 +329,7 @@ ignores = (
       "#nixos-nur",
       "#nixos-security",
       "#nixos-systemd",
-      "#PauLLA",
+      "#plt",
       "#postfix",
       "#purescript",
       "#rezine",
@@ -347,7 +351,7 @@ windows = {
   6 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#gresille"; tag = "GeekNode"; }); };
   7 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#haskell"; tag = "OFTC"; }); };
   8 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#haskell-beginners"; tag = "Libera"; }); };
-  9 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#sr.ht"; tag = "Libera"; }); };
+  9 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#plt"; tag = "Libera"; }); };
   10 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#tvl"; tag = "Hackint"; }); };
   11 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#haskell-fr"; tag = "OFTC"; }); };
   12 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#haskell-offtopic"; tag = "Libera"; }); };
@@ -375,5 +379,7 @@ windows = {
   34 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#zfs-fr"; tag = "Libera"; }); };
   35 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#zfs-fr"; tag = "OFTC"; }); };
   36 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#conservancy"; tag = "Libera"; }); };
+  37 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#idris"; tag = "Libera"; }); };
+  38 = { items = ({type = "CHANNEL"; chat_type = "IRC"; name = "#sr.ht"; tag = "Libera"; }); };
 };