EtherApe Manual
<<< Previous |  | Next >>>

# Using EtherApe

`EtherApe` can be used to have an overview of traffic conditions in your network. It is a great tool to easily pinpoint who is consuming the most bandwith, or to check which computers are actually talking to some others.

## Basic usage

Starting `EtherApe` opens the Main window, shown in Figure 1. The window is at first empty.

Figure 1. EtherApe Main Window

### Proving a Theorem

To get a proof of a theorem, select File->New, which will bring up the New Proof dialog box. Enter the statement of the theorem in the `Theorem statement` field, select your desired proof type from the drop-down menu, and and press Prove!.

If `EtherApe` cannot prove the theorem by the method you have chosen, or if you have not selected a proof type at all, `EtherApe` will attempt to choose the one that it thinks is most conclusive. In order, it will attempt to prove the theorem with the following techniques:

Deduction

  This is a proof method that is generally accepted for full credit by Logic professors.

Induction

  This logical style will also earn you full credit on your homework.

Dialog

  This logical method is best for Philosophy classes, and will probably only merit partial credit on Logic or Mathematics homework.

Confusion

  Suitable only for political debates, battles of wits against the unarmed, and Philosophy classes focusing on the works of Kant. Use with caution.

| Proving Incorrect Theorms
| `EtherApe` cannot prove incorrect theorems. If the theorem you have entered is not demonstrably true, you will get a message to that effect in the main window. To disprove a theorem, ask `EtherApe` to prove its logical inverse.

### Editing Proofs

Once you have proven the theorem, it will be displayed in the main window. There, you can read it over, choose text styles for different portions of it, and make comments on it. This section will guide you through that process.

To alter text styles, first select the statement you wish to change by clicking on it once. You can select several statements by Then, choose the style you want to apply from the Style submenu of the Edit menu. `EtherApe` will convert the text to that style.

You can also enter comments on a statement by selecting that statement, and then beginning to type. Comments will appear after the statement you have selected.

| Altering The Proofs Themselves
| `EtherApe` does not allow you to alter a proof it has produced itself. You can, save your proof as a plain text file (using the Save as... menu), and alter it that way. Be aware, however, that `EtherApe` uses its own file format for saved proofs, and cannot re-open a file unless it is in the .mga format.

## Toolbar

The toolbar (shown in Figure 2) provides access to several commonly used routines.

Figure 2. EtherApe Toolbar

New

  Brings up the New Theorem dialog.

Open

  Open an exisiting theorem you want to prove, or a completed proof you wish to print or format.

Save

  Save the current theorem permanently in a file.

## Menus

The menu bar, located at the top of the Main Window, contains the following menus:

File

  This menu contains:

  - Open (F3) — This opens a file which is saved on your computer.

  - Save (Ctrl-S) — This saves your file.

  - Close (Ctrl-W) — This closes your file.

  - Exit (Ctrl-Q) — This quits the application.

Edit

  This menu contains:

  - Cut (Ctrl-X) — This removes any text or data which is selected and places it in the buffer.

  - Copy (Ctrl-C) — This copies any text or data which is selected into the buffer.

  - Paste (Ctrl-V) — This pastes any text or data which is copied into the buffer.

  - COMMAND1… — This opens the COMMAND1 dialog, which is used to ....

  - COMMAND2 — This ....

Settings

  This menu contains:

  - Preferences… — This opens the Preferences Dialog, which allows you to configure many settings.

  - COMMAND3 — This command does something.

Help

  This menu contains:

  - Manual — This opens the `GNOME Help Browser` and displays this manual.

  - About — This opens the About dialog which shows basic information about `EtherApe`, such as the author's name, the application version number, and the URL for the application's Web page if one exists.

<<< Previous | Home | Next >>>
EtherApe Manual |  | Customization