diff options
Diffstat (limited to 'pl/local_episodes.pl')
-rw-r--r-- | pl/local_episodes.pl | 7 |
1 files changed, 4 insertions, 3 deletions
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). |