From 4f83cf6a5337379327e3eeda765e067d4f13ed4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Mon, 30 May 2022 18:10:54 +0200 Subject: Split up Watch into Watch Locally and Watch Online. --- pl/local_episodes.pl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'pl/local_episodes.pl') diff --git a/pl/local_episodes.pl b/pl/local_episodes.pl index 0273bb3..68809a7 100644 --- a/pl/local_episodes.pl +++ b/pl/local_episodes.pl @@ -1,6 +1,7 @@ :- module(local_episodes, [local_episode//1, episode_file/2, - open_episode/1]). + open_episode_locally/1, + open_episode_online/1]). :- use_module(library(dcg/basics)). :- use_module(atom_dcg). @@ -45,5 +46,5 @@ episode_file(N, F) :- % Open episode. episode_url(N) --> { with_codes(get_url(U)) }, string(U), integer(N). -open_episode(N) :- episode_file(N, F), !, win_shell(open, F). -open_episode(N) :- atom_phrase(episode_url(N), U), win_shell(open, U). +open_episode_locally(N) :- episode_file(N, F), !, win_shell(open, F). +open_episode_online(N) :- atom_phrase(episode_url(N), U), win_shell(open, U). -- cgit v1.2.3