]> gitweb.factorcode.org Git - factor.git/commitdiff
irc: s/freenode/libera/
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 6 Dec 2021 00:46:58 +0000 (18:46 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 6 Dec 2021 00:46:58 +0000 (18:46 -0600)
basis/help/tips/tips-docs.factor
extra/irc/client/client-docs.factor
extra/irc/gitbot/gitbot.factor
extra/irc/logbot/logbot.factor

index 17890c1a334778a2ad83eb336296d29f4407292d..8fbca07d2b2d6036aa2d9c3a4ddd5fceb4374adf 100644 (file)
@@ -11,7 +11,7 @@ TIP: "Learn to use " { $link "editor" } " to be able to jump to the source code
 
 TIP: "Check out " { $url "http://concatenative.org/wiki/view/Factor/FAQ" } " to get answers to frequently-asked questions." ;
 
-TIP: "Drop by the " { $snippet "#concatenative" } " IRC channel on " { $snippet "irc.freenode.net" } " some time." ;
+TIP: "Drop by the " { $snippet "#concatenative" } " IRC channel on " { $snippet "irc.libera.chat" } " some time." ;
 
 TIP: "You can write documentation for your own code using the " { $link "help" } "." ;
 
index 6a05cb38bf1131a0ae5652b7801f3ca4ca600fcd..dd00e7684045eeb747932fba3458baee64ad9b42 100644 (file)
@@ -81,7 +81,7 @@ ARTICLE: "irc.client" "IRC Client"
   "SYMBOL: bot"
   "SYMBOL: mychannel"
   "! Create the profile and client objects"
-  "\"irc.freenode.org\" irc-port \"mybot123\" f <irc-profile> <irc-client> bot set"
+  "\"irc.libera.chat\" irc-port \"mybot123\" f <irc-profile> <irc-client> bot set"
   "! Connect to the server"
   "bot get connect-irc"
   "! Create a channel chat"
index 5dff25906219340515a90a90c07616455d9a51ac..76cef57daa4971a2c4ab4cb7ce6c8438d3930fb9 100644 (file)
@@ -9,7 +9,7 @@ SYMBOL: nickserv-handle
 SYMBOL: nickserv-password
 
 : bot-profile ( -- obj )
-    "irc.freenode.org" 6667
+    "irc.libera.chat" 6697
     nickserv-handle get "stackoid2" or
     nickserv-password get <irc-profile> ;
 
index 2732b251a0a0daf77dde29d401f110c0635e9c46..410446428c3a1c8776ff995da71c4b6756678db8 100644 (file)
@@ -18,7 +18,7 @@ SYMBOL: current-day
 SYMBOL: current-stream
 
 : bot-profile ( -- obj )
-    "irc.freenode.org" 6667
+    "irc.libera.chat" 6697
     nickserv-handle get default-nickserv-handle or
     nickserv-password get <irc-profile> ;