-- Leo's gemini proxy

-- Connecting to git.thebackupbox.net:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini

repo: music
action: commit
revision:
path_from:
revision_from: 38bec97a5ec03c8dcee92a1fd717dd1bfa4e7ddf:
path_to:
revision_to:

commit 38bec97a5ec03c8dcee92a1fd717dd1bfa4e7ddf
Author: epoch <epoch@enzo.thebackupbox.net>
Date:   Tue Sep 7 18:54:37 2021 +0000

    I think this is unfinished, but it is updating player.pid to current shell's pid

diff --git a/music-player b/music-player

--- a/music-player
+++ b/music-player
@@ -1,4 +1,8 @@
 #!/bin/bash
+if [ ! -e "${PREFIX}/run/music/player.pid" ];then
+  echo $(echo "$$") > "${PREFIX}/run/music/player.pid"
+  delete_it=1
+fi
 set -o pipefail
 if printf "%s\n" "$1" | urimatch -D youtube.com -D youtu.be >/dev/null;then #urimatch is "or" matching by default.
   music-setnowplaying "$(urititle "$1")" & #toss this in background so it won't hold up the song playing.

-- Response ended

-- Page fetched on Sun Jun 2 16:37:27 2024