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
|
| ︙ | ︙ |