Check-in [8f1be0548d]
Overview
Comment: | Fix some typos. |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
8f1be0548dc73b8bbaae6f7c946cb274 |
User & Date: | mario on 2015-05-05 11:24:39 |
Other Links: | manifest | tags |
Context
2015-05-05
| ||
14:11 | Add icon for file browser. check-in: 5f1b889ce6 user: mario tags: trunk | |
11:24 | Fix some typos. check-in: 8f1be0548d user: mario tags: trunk | |
10:58 | Add omitted HTML pages. (*.html is in the fossil `ignore-glob`, so they get skipped for github-skin statistics bar.) check-in: 8a854e0f4c user: mario tags: trunk | |
Changes
Modified help/configuration.page from [93e7dafa68] to [639f594e2d].
︙ | ︙ | |||
13 14 15 16 17 18 19 | <p> There are various options for streamtuner2, available under <guiseq><gui>Edit</gui> <gui>Preferences</gui></guiseq> or via <key>F12</key>. </p> <p><media type="image" src="img/configtabs.png" mime="image/png" /></p> <terms> | | | | | | > | > > > > > > > > > > | 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | <p> There are various options for streamtuner2, available under <guiseq><gui>Edit</gui> <gui>Preferences</gui></guiseq> or via <key>F12</key>. </p> <p><media type="image" src="img/configtabs.png" mime="image/png" /></p> <terms> <title>It's separated into different sections/tabs.</title> <item> <title>🔊 Player</title> <p>Lists audio formats and the audio player applications, or recording tools below. It's a map of file-types to applications. Double click an entry to edit it.</p> </item> <item> <title>☑ Options</title> <p>Influences the display of all stream/station lists, and contains some behaviour and system settings.</p> </item> <item> <title>📻 Channel Plugins</title> <p>Every channel tab can have specific options. These are configured here. Also you can disable channels you don't need.</p> </item> <item> <title>🔌 Feature Plugins</title> <p>Another class of plugins enables internal functions, or adds extra menu entries, or configuration options.</p> </item> <item> <title>📦 Add</title> <p>The <link xref="pluginmanager2">Plugin Manager 2</link> adds another tab for updating or installing new plugins.</p> </item> </terms> <section id="apps"> <title>Player application settings</title> |
︙ | ︙ | |||
169 170 171 172 173 174 175 | particular necessary when you use <key>⏭</key> or <key>⏪</key> directly in your player. For <var>%pls</var> references your player typically usues the online-only playlist files anyway. If you disable this option, then converted pls/m3u/xspf files get recreated repeatedly.</p> </item> <item> <title>Forgo any playlist conversion</title> | | | | | | | | | | | 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 | particular necessary when you use <key>⏭</key> or <key>⏪</key> directly in your player. For <var>%pls</var> references your player typically usues the online-only playlist files anyway. If you disable this option, then converted pls/m3u/xspf files get recreated repeatedly.</p> </item> <item> <title>Forgo any playlist conversion</title> <p>Per default most server playlists (be they .pls or .m3u, .xpsf) are converted. All player/recording apps receive a default <var>%pls</var> file normally. Set this option to disable any such placeholders from the Player tab, and avoid streamtuner2 pre-downloading any m3u/pls/xspf. Instead your audio player gets passed the literal server/playlist streaming URL then.</p> <note><p>Note that this is only a minor speedup, but may trip up some applications. A few channel sources don't even provide standard stream addresses and playlists. (Jamendo albums for example really need pre-conversion; no audio player can deal with such custom JSON playlists). In short: you don't normally want to enable this flag - unless you run into problems with streamtuner2 taking too long, or when it hang by accidentially downloading streams itself.</p></note> </item> </terms> <terms> <title>System</title> <item> <title>Temporary files</title> <p>Streamtuner2 creates temporary .m3u files - for audio |
︙ | ︙ | |||
224 225 226 227 228 229 230 | </terms> </section> <section id="plugins"> <title>Channel and feature plugins and settings</title> | | | | > | 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 | </terms> </section> <section id="plugins"> <title>Channel and feature plugins and settings</title> <p>The tabs <key>📻 Channels</key> lists all available directory services. While the <key>🔌 Features</key> group provides internal or menu enhancements. Disabling or enabling a plugin however requires a restart of Streamtuner2 to take effect. (Unless the <link xref="pluginmanager2">Plugin Manager 2</link> is enabled, with its <key>📦 Add</key> tab visible.)</p> <p><media type="image" src="img/configplugins.png" mime="image/png" /></p> <p>Each plugin can have its own little list of extra options. They'll be applied right away for already active channel/feature plugins.</p> |
︙ | ︙ |
Modified help/html/configuration.html from [93cd95cd46] to [1a5b6423a8].
︙ | ︙ | |||
14 15 16 17 18 19 20 | <div class="region"> <div class="contents"> <p class="p"> There are various options for streamtuner2, available under <span class="guiseq"><span class="gui">Edit</span> ▸ <span class="gui">Preferences</span></span> or via <span class="key"><kbd>F12</kbd></span>. </p> <p class="p"><span class="media"><span class="media media-image"><img src="img/configtabs.png" class="media media-inline" alt=""></span></span></p> <div class="terms"><div class="inner"> | | | | | | > | > > > > > > | 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | <div class="region"> <div class="contents"> <p class="p"> There are various options for streamtuner2, available under <span class="guiseq"><span class="gui">Edit</span> ▸ <span class="gui">Preferences</span></span> or via <span class="key"><kbd>F12</kbd></span>. </p> <p class="p"><span class="media"><span class="media media-image"><img src="img/configtabs.png" class="media media-inline" alt=""></span></span></p> <div class="terms"><div class="inner"> <div class="title title-terms"><h2><span class="title">It's separated into different sections/tabs.</span></h2></div> <div class="region"><dl class="terms"> <dt class="terms">🔊 Player</dt> <dd class="terms"><p class="p">Lists audio formats and the audio player applications, or recording tools below. It's a map of file-types to applications. Double click an entry to edit it.</p></dd> <dt class="terms">☑ Options</dt> <dd class="terms"><p class="p">Influences the display of all stream/station lists, and contains some behaviour and system settings.</p></dd> <dt class="terms">📻 Channel Plugins</dt> <dd class="terms"><p class="p">Every channel tab can have specific options. These are configured here. Also you can disable channels you don't need.</p></dd> <dt class="terms">🔌 Feature Plugins</dt> <dd class="terms"><p class="p">Another class of plugins enables internal functions, or adds extra menu entries, or configuration options.</p></dd> <dt class="terms">📦 Add</dt> <dd class="terms"><p class="p">The <span class="link"><a href="pluginmanager2.html" title="Plugin Manager 2">Plugin Manager 2</a></span> adds another tab for updating or installing new plugins.</p></dd> </dl></div> </div></div> </div> <div id="apps" class="sect"><div class="inner"> <div class="hgroup"><h2 class="title"><span class="title">Player application settings</span></h2></div> <div class="region"><div class="contents"> <p class="p">MIME types are categorzied identifiers for file types. <span class="var">Audio/mpeg</span> for |
︙ | ︙ | |||
163 164 165 166 167 168 169 | your audio player. It'll keep those files around in /tmp/streamtuner2 until you quit. That speeds up switching between and reconnecting to a previous station. It's in particular necessary when you use <span class="key"><kbd>⏭</kbd></span> or <span class="key"><kbd>⏪</kbd></span> directly in your player. For <span class="var">%pls</span> references your player typically usues the online-only playlist files anyway. If you disable this option, then converted pls/m3u/xspf files get recreated repeatedly.</p></dd> <dt class="terms">Forgo any playlist conversion</dt> | > | | | | > | | | | | > | 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 | your audio player. It'll keep those files around in /tmp/streamtuner2 until you quit. That speeds up switching between and reconnecting to a previous station. It's in particular necessary when you use <span class="key"><kbd>⏭</kbd></span> or <span class="key"><kbd>⏪</kbd></span> directly in your player. For <span class="var">%pls</span> references your player typically usues the online-only playlist files anyway. If you disable this option, then converted pls/m3u/xspf files get recreated repeatedly.</p></dd> <dt class="terms">Forgo any playlist conversion</dt> <dd class="terms"> <p class="p">Per default most server playlists (be they .pls or .m3u, .xpsf) are converted. All player/recording apps receive a default <span class="var">%pls</span> file normally. Set this option to disable any such placeholders from the Player tab, and avoid streamtuner2 pre-downloading any m3u/pls/xspf. Instead your audio player gets passed the literal server/playlist streaming URL then.</p> <div class="note" title="Note"><div class="inner"><div class="region"><div class="contents"><p class="p">Note that this is only a minor speedup, but may trip up some applications. A few channel sources don't even provide standard stream addresses and playlists. (Jamendo albums for example really need pre-conversion; no audio player can deal with such custom JSON playlists). In short: you don't normally want to enable this flag - unless you run into problems with streamtuner2 taking too long, or when it hang by accidentially downloading streams itself.</p></div></div></div></div> </dd> </dl></div> </div></div> <div class="terms"><div class="inner"> <div class="title title-terms"><h3><span class="title">System</span></h3></div> <div class="region"><dl class="terms"> <dt class="terms">Temporary files</dt> <dd class="terms"><p class="p">Streamtuner2 creates temporary .m3u files - for audio |
︙ | ︙ | |||
212 213 214 215 216 217 218 | </dl></div> </div></div> </div></div> </div></div> <div id="plugins" class="sect"><div class="inner"> <div class="hgroup"><h2 class="title"><span class="title">Channel and feature plugins and settings</span></h2></div> <div class="region"><div class="contents"> | | | | > | 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 | </dl></div> </div></div> </div></div> </div></div> <div id="plugins" class="sect"><div class="inner"> <div class="hgroup"><h2 class="title"><span class="title">Channel and feature plugins and settings</span></h2></div> <div class="region"><div class="contents"> <p class="p">The tabs <span class="key"><kbd>📻 Channels</kbd></span> lists all available directory services. While the <span class="key"><kbd>🔌 Features</kbd></span> group provides internal or menu enhancements. Disabling or enabling a plugin however requires a restart of Streamtuner2 to take effect. (Unless the <span class="link"><a href="pluginmanager2.html" title="Plugin Manager 2">Plugin Manager 2</a></span> is enabled, with its <span class="key"><kbd>📦 Add</kbd></span> tab visible.)</p> <p class="p"><span class="media"><span class="media media-image"><img src="img/configplugins.png" class="media media-inline" alt=""></span></span></p> <p class="p">Each plugin can have its own little list of extra options. They'll be applied right away for already active channel/feature plugins.</p> <div class="note" title="Note"><div class="inner"><div class="region"><div class="contents"><p class="p">If you want to find out more about the short option descriptions (most settings are checkboxes), please have a look into the channels directory /usr/share/streamtuner2/channels/ and corresponding *.py files. These are somewhat readable even to non-programmers, and sometimes contain more information.</p></div></div></div></div> <div class="links topiclinks"><div class="inner"><div class="region"> |
︙ | ︙ |
Modified help/html/pluginmanager2.html from [b5a9426302] to [516cf56989].
︙ | ︙ | |||
15 16 17 18 19 20 21 | </div></div> <div class="body"> <div class="hgroup"><h1 class="title"><span class="title">Plugin Manager 2</span></h1></div> <div class="region"> <div class="contents"> <p class="p">As of release 2.1.8 there is a plugin manager. It's available as feature extension. Once acticated (after a restart) it brings up a | | | 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | </div></div> <div class="body"> <div class="hgroup"><h1 class="title"><span class="title">Plugin Manager 2</span></h1></div> <div class="region"> <div class="contents"> <p class="p">As of release 2.1.8 there is a plugin manager. It's available as feature extension. Once acticated (after a restart) it brings up a new <span class="key"><kbd>📦 Add</kbd></span> tab in the configuration window.</p> <p class="p"><span class="media"><span class="media media-image"><img src="img/pluginmanager2.png" class="media media-inline" alt="Install dialog for user plugins"></span></span></p> <p class="p">You can scan for available/new plugins there. And have them downloaded right away. New plugins are just downloaded, not implictly enabled. Reopen the config dialog to see them in the regular lists.</p> </div> <div id="configuration" class="sect"><div class="inner"> |
︙ | ︙ |
Modified help/pluginmanager2.page from [1be5e02a61] to [f0207d568f].
1 2 3 4 5 6 7 8 9 10 11 12 13 | <page xmlns="http://projectmallard.org/1.0/" type="guide" id="pluginmanager2"> <info> <link type="guide" xref="index#extra"/> <desc>User plugin installation</desc> </info> <title>Plugin Manager 2</title> <p>As of release 2.1.8 there is a plugin manager. It's available as feature extension. Once acticated (after a restart) it brings up a | | | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | <page xmlns="http://projectmallard.org/1.0/" type="guide" id="pluginmanager2"> <info> <link type="guide" xref="index#extra"/> <desc>User plugin installation</desc> </info> <title>Plugin Manager 2</title> <p>As of release 2.1.8 there is a plugin manager. It's available as feature extension. Once acticated (after a restart) it brings up a new <key>📦 Add</key> tab in the configuration window.</p> <p><media type="image" src="img/pluginmanager2.png" mime="image/png">Install dialog for user plugins</media></p> <p>You can scan for available/new plugins there. And have them downloaded right away. New plugins are just downloaded, not implictly enabled. Reopen the config dialog to see them in the |
︙ | ︙ |