ConTeXt IRC
From ConTeXt wiki
[edit] The #context IRC Channel
There is an [IRC] channel at freenode: [[1]].
[edit] Install and Use ChatZilla
ChatZilla is a multiplatform irc extension for Firefox [2]. The installation can be performed as follow:
- In 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.
An other method is to use this quick install link [3] and restart Firefox.
Once ChatZilla is installed you can use [[4]] to access to the freenode irc server or go directly to the #context channel with [[5]].
Now you have to choose your nickname according to [6]. 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: /msg nickserv register yourpasswd
In future sessions, you will use the same registered nickname by identifying yourself with the command: /msg nickserv identify yourpasswd
If you are not connected to the #context channel yet, you can use /join #context
To quit #context without being disconnected of freenode.net: /part a message,
To quit freenode.net: /quit a message
[edit] Basic IRC Commands
| Command | Attribute | |
|---|---|---|
| /join | #channelname | join the channel #channelname |
| /me | a message | return a message as an action message |
| /msg | nickname a message | start a private chat with nickname |
| /nick | newnickname | change your nickname to newnickname |
| /notice | nickname a short message | send a short message to nickname without opening up a private window |
| /part | a message | leave the channel |
| /quit | a message | leave the irc server |
| /whois | nickname | get more information about user nickname |
| /chat | nickname | chat with nickname |
| /help | a topic | get help on a topic |
