419
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
== The #REDIRECT 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 IRCcommands; 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>
