Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ branch:  streamtuner2


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:8f1be0548dc73b8bbaae6f7c946cb27423d132cd
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
20
21
22
23
24
25
26
27
28

29
30
31
32
33
34










35
36
37
38
39
40
41
...
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
...
224
225
226
227
228
229
230
231
232
233
234

235
236
237
238
239
240
241
<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 three main sections / tabs.</title>
  <item>
    <title>Player</title>
    <p>Lists audio formats and the audio player applications, or recording tools below.
    It's a file type to application table. Double click an entry for editing.</p>
  </item>
  <item>
    <title>Options</title>
    <p>Influences the display of all stream/station lists, and contains some 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>










</terms>



<section id="apps">

    <title>Player application settings</title>
................................................................................
      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 all server playlists (be they .pls or .m3u, .xpsf) into whatever
      format your player/recording apss are configured with (per default <var>%pls</var>).
      Set this option to disable those 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 address in any case. Note that this is only
      a minor speedup, but may trip up some applications. A few channel sources even
      don't provide standard stream URLs and playlist (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 enabled this, unless you run into problems
      with streamtuner2 taking too long, or accidentially hangs due to downloading streams
      itself.</p>
    </item>
 </terms>

  <terms>
    <title>System</title>
    <item>
      <title>Temporary files</title> <p>Streamtuner2 creates temporary .m3u files - for audio
................................................................................
 </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.</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>








|

|

|


|
|
>


|



>
>
>
>
>
>
>
>
>
>







 







|
|
|

|
|
|

|
|
|







 







|
|

|
>







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
...
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
...
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
<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>
................................................................................
      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
................................................................................
 </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
21
22
23
24
25
26
27

28
29
30






31
32
33
34
35
36
37
...
163
164
165
166
167
168
169

170
171
172
173
174

175
176
177
178
179
180

181
182
183
184
185
186
187
...
212
213
214
215
216
217
218
219
220
221
222

223
224
225
226
227
228
229
<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 three main 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 file type to application table. Double click an entry for editing.</p></dd>
<dt class="terms">Options</dt>
<dd class="terms"><p class="p">Influences the display of all stream/station lists, and contains some 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>






</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
................................................................................
      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 all server playlists (be they .pls or .m3u, .xpsf) into whatever
      format your player/recording apss are configured with (per default <span class="var">%pls</span>).
      Set this option to disable those 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 address in any case. Note that this is only

      a minor speedup, but may trip up some applications. A few channel sources even
      don't provide standard stream URLs and playlist (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 enabled this, unless you run into problems
      with streamtuner2 taking too long, or accidentially hangs due to downloading streams
      itself.</p></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
................................................................................
</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.</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">







|

|

|
|
|
>
|


>
>
>
>
>
>







 







>
|
|
|

|
>
|
|

|
|
|
>







 







|
|

|
>







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
...
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
...
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
<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
................................................................................
      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
................................................................................
</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
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="gui">📦 Add</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">







|







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].

7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
        <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 <gui>📦 Add</gui> 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







|







7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
        <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