Changes

Jump to navigation Jump to search
478 bytes added ,  21:15, 23 September 2022
→‎The #context IRC channel: Freenode -> Libera
== The #context IRC Channelchannel==There is an [http://en.wikipedia.org/wiki/Internet_Relay_Chat IRC] [irc://chatirc.freenodelibera.netchat#context channel at freenodelibera.chat]. There are about 5-10 users online regularly, and there used to be the TeXbot maintained by Troy Henderson that allows real-time testing of ConTeXt, MetaPost, and LaTeX code.
=== Install See further down to learn how to use the bot; the basic IRC commands; and Use ChatZilla ===how to start using IRC in general. Sorry about putting the most introductory section at the bottom; it is there because it is also the longest section.
ChatZilla is a multiplatform irc extension for [http://www.mozilla.com/firefox/ Firefox]. The installation can be performed as follow:* In == Using the "Tools" menu of Firefox, select "Extensions".* Within the new opened "Extensions" window, click on "Get More Extensions". You will be redirected to .* You are redirected to addons.mozilla.org, search for ChatZilla in "Extensions".* Go to the ChatZilla page then click on "Install Now" and confirm the installation.* Restart Firefox to use ChatZilla.bot ==
An other method ConTeXt: !c This is to use this quick install link [http\contextversionnumber MetaPost://releases.mozilla.org/pub/mozilla.org/extensions/chatzilla/chatzilla-0.9.70 !m draw fullcircle scaled 72; LaTeX: !l Here is my formula: \(\int_a^b f(x)\,dx = F(b)-fx+mz.xpi] and restart Firefox.F(a)\)
Once ChatZilla is installed you can use [[irc://irc.freenode.net/]] to access The bot will respond with a link to the freenode irc server or go directly to the #context channel with [[irc://irc.freenode.net#context]]output.
Now you have to choose your nickname according to [http://freenode.net/policy.shtml#usernames]. In the bottom left corner, click on your current nickname and select "Change nickname...". If the chosen nickname is already used by someone else, change it if you want to perform a registration in order to use the same nickname for future #context sessions. Once you have a valid nickname, you can register it by entering the following command in the bottom interaction line:<tt>/msg nickserv register ''yourpasswd''</tt>== Basic IRC commands ==
In future sessions, you will use the same registered nickname by identifying yourself with the command:<tt>/msg nickserv identify ''yourpasswd''</tt> If you are not connected to the #context channel yet, you can use<tt>/join #context</tt> To quit #context without being disconnected of freenode.net:<tt>/part ''a message, ''</tt> To quit freenode.net:<tt>/quit ''a message''</tt> === Basic IRC Commands === {| borderclass="0wikitable"! Command !! Attribute Parameters !!Action
|-
|<tt>/join</tt>
|get help on ''a topic''
|}
 
== Installing and using ChatZilla ==
 
ChatZilla is a multiplatform irc extension for [http://www.mozilla.com/firefox/ Firefox]. The installation can be performed as follows:
 
# Select '''Tools > Extensions'''.
# In the search box, type: <tt>irc</tt>
# Click the Search icon.
# Click the '''Install''' button beside ChatZilla.
# Restart Firefox.
 
An other method is to use this quick install link [http://releases.mozilla.org/pub/mozilla.org/extensions/chatzilla/chatzilla-0.9.70-fx+mz.xpi] and restart Firefox.
 
Once ChatZilla is installed you can use [[irc://irc.freenode.net/]] to access to the freenode irc server or go directly to the #context channel with [[irc://irc.freenode.net#context]].
 
Now you have to choose your nickname according to [http://freenode.net/policy.shtml#usernames]. In the bottom left corner, click on your current nickname and select "Change nickname...". If the chosen nickname is already used by someone else, change it if you want to perform a registration in order to use the same nickname for future #context sessions. Once you have a valid nickname, you can register it by entering the following command in the bottom interaction line:
<tt>/msg nickserv register ''yourpasswd''</tt>
 
In future sessions, you will use the same registered nickname by identifying yourself with the command:
<tt>/msg nickserv identify ''yourpasswd''</tt>
 
If you are not connected to the #context channel yet, you can use
<tt>/join #context</tt>
 
To quit #context without being disconnected of freenode.net:
<tt>/part ''a message, ''</tt>
 
To quit freenode.net:
<tt>/quit ''a message''</tt>
 
 
[[Category:Basics]]

Navigation menu