419
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
== The #context IRC channel==
There is an [http://en.wikipedia.org/wiki/Internet_Relay_Chat IRC] [irc://chat.freenode.net#context channel at freenode]. There are about 5-10 users online regularly, and there is the TeXbot maintained by Troy Henderson that allows real-time testing of ConTeXt, MetaPost, and LaTeX code.
See further down to learn how to use the bot; the basic IRC commands; and 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.
== Using the bot ==
ConTeXt:
!c This is \contextversionnumber
MetaPost:
!m draw fullcircle scaled 72;
LaTeX:
!l Here is my formula: \(\int_a^b f(x)\,dx = F(b)-F(a)\)
The bot will respond with a link to the output.
== Basic IRC commands ==
{| class="wikitable"
! Command !! Parameters !! Action
|-
|<tt>/join</tt>
|''#channelname''
|join the channel ''#channelname''
|-
|<tt>/me</tt>
|''a message''
|return ''a message'' as an action message
|-
|<tt>/msg</tt>
|'''nickname''' ''a message''
|start a private chat with '''nickname'''
|-
|<tt>/nick</tt>
|''newnickname''
|change your nickname to ''newnickname''
|-
|<tt>/notice</tt>
|'''nickname''' ''a short message''
|send ''a short message'' to '''nickname''' without opening up a private window
|-
|<tt>/part</tt>
|''a message''
|leave the channel
|-
|<tt>/quit</tt>
|''a message''
|leave the irc server
|-
|<tt>/whois</tt>
|''nickname''
|get more information about user ''nickname''
|-
|<tt>/chat</tt>
|''nickname''
|chat with ''nickname''
|-
|<tt>/help</tt>
|''a topic''
|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>
