summaryrefslogtreecommitdiff
Unidiff
Diffstat (more/less context) (ignore whitespace changes)
-rw-r--r--docs/usermanual/software.sgm48
1 files changed, 48 insertions, 0 deletions
diff --git a/docs/usermanual/software.sgm b/docs/usermanual/software.sgm
index f95772c..7284682 100644
--- a/docs/usermanual/software.sgm
+++ b/docs/usermanual/software.sgm
@@ -48,4 +48,52 @@ remove, and then pressing apply.
48</section> 48</section>
49 49
50<section><title>Servers</title>
51<para>
52When you install software normally, ipkg downloadins the packages automatically
53from ipkg servers (also called "Feeds") and installing them. The list of
54servers and where they are is stored in a file called ipkg.conf in /etc/. Oipkg
55is capable of maintaining this list, as well as adding or deleting feeds from
56it.
57</para>
58<section><title>Selecting Servers</title>
59<para>
60To select which feeds you want to be able to see and install packages from, go
61to Settings&arrow;Setups. There will be a box with a list of servers in it
62called "Used Servers". Servers that are highlighted will be used to install
63software from, while servers that are not highlighted will be ignored. You can
64click on a server to toggle its status. When a server is disabled, the
65information about that server such as its name and location is kept, so that
66you can resume using it without having to reenter this data. "Ok" will save the
67changes, and "x" will cancel them.
68</para>
69</section>
70<section><title>Adding Servers</title>
71<para>
72You can add a server to your list of available servers by going to
73Settings&arrow;Servers. Click on the button labeled "New" and enter the name
74and URL into the appropriate fields at the bottom of the window. The name is
75only for your convinience, so name it whatever makes sense to you. The URL is
76the URL of the feed, so the URL for the opie feed would be
77"http://131.152.105.154/feeds/ipaq/unstable". When you are done, click "Ok" to
78save the new server, or "x" to cancel adding it.
79</para>
80</section>
81<section><title>Editing Servers</title>
82<para>
83To change the URL or name of a server, go to Settings&arrow;Servers, and select
84the server that you want to edit. The current Name and URL should appear in the
85appropriate fields, and you can change them to the new values. Once you are
86done, click "Ok" to save, or "x" to cancel.
87</para>
88</section>
89<section><title>Deleting Servers</title>
90<para>
91If you no longer need to use a server, this can be done by going to
92Settings&arrow;Servers. You can then select the server you wish to delete and
93press the "Remove" button. "Ok" will save the deletion, and "x" will cancel it.
94</para>
95</section>
96</section>
97
50<section><title>Destinations</title> 98<section><title>Destinations</title>
51<para> 99<para>