Generated.

[homepage.git] / blog / archive / 2018 / 07 / index.html

diff --git a/blog/archive/2018/07/index.html b/blog/archive/2018/07/index.html
index e042e66e7274b1713ad90dd362d208af493fcaab..257a0be6d0da98289d8f87efd10baf85af5e83ff 100644 (file)
--- a/blog/archive/2018/07/index.html
+++ b/blog/archive/2018/07/index.html
@@ -112,7 +112,7 @@ activities, please send Bitcoin donations to my address
       </div>
       <div class="body">
         <p>Last night, I wrote
-<a href="http://people.skolelinux.org/pere/blog/Streaming_the_Linux_desktop_to_Kodi_using_VLC_and_RTSP.html">a
+<a href="https://people.skolelinux.org/pere/blog/Streaming_the_Linux_desktop_to_Kodi_using_VLC_and_RTSP.html">a
 recipe to stream a Linux desktop using VLC to a instance of Kodi</a>.
 During the day I received valuable feedback, and thanks to the
 suggestions I have been able to rewrite the recipe into a much simpler
@@ -137,7 +137,7 @@ I only care about the picture part.</p>
 #!/bin/sh
 #
 # Stream the Linux desktop view to Kodi.  See
-# http://people.skolelinux.org/pere/blog/Streaming_the_Linux_desktop_to_Kodi_using_VLC_and_RTSP.html
+# https://people.skolelinux.org/pere/blog/Streaming_the_Linux_desktop_to_Kodi_using_VLC_and_RTSP.html
 # for backgorund information.
 
 # Make sure the stream is stopped in Kodi and the gstreamer process is
@@ -224,7 +224,7 @@ activities, please send Bitcoin donations to my address
       </div>
       <div class="body">
         <p>PS: See
-<ahref="http://people.skolelinux.org/pere/blog/Simple_streaming_the_Linux_desktop_to_Kodi_using_GStreamer_and_RTP.html">the
+<ahref="https://people.skolelinux.org/pere/blog/Simple_streaming_the_Linux_desktop_to_Kodi_using_GStreamer_and_RTP.html">the
 followup post</a> for a even better approach.</p>
 
 <p>A while back, I was asked by a friend how to stream the desktop to
@@ -383,7 +383,7 @@ activities, please send Bitcoin donations to my address
       </div>
       <div class="body">
         <p>Five years ago,
-<a href="http://people.skolelinux.org/pere/blog/What_is_the_most_supported_MIME_type_in_Debian_.html">I
+<a href="https://people.skolelinux.org/pere/blog/What_is_the_most_supported_MIME_type_in_Debian_.html">I
 measured what the most supported MIME type in Debian was</a>, by
 analysing the desktop files in all packages in the archive.  Since
 then, the DEP-11 AppStream system has been put into production, making