Skip to content

Commit d33ca42

Browse files
committed
enable another docker image
1 parent 6cc92ba commit d33ca42

File tree

2 files changed

+11
-2
lines changed

2 files changed

+11
-2
lines changed

myst_libre/rees/rees.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,8 @@ def __init__(self, rees_dict):
1212
self.gh_user_repo_name = rees_dict['gh_user_repo_name']
1313
self.gh_repo_commit_hash = rees_dict['gh_repo_commit_hash']
1414
self.binder_image_tag = rees_dict['binder_image_tag']
15-
15+
self.binder_image_name = rees_dict.get('binder_image_name', None)
16+
1617
if 'dotenv' in rees_dict.keys():
1718
self.dotenvloc = rees_dict['dotenv']
1819

myst_libre/tools/docker_registry_client.py

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,9 +58,17 @@ def search_img_by_repo_name(self):
5858
5959
Returns:
6060
bool: True if image found, else False.
61+
62+
Assuming use in rees, TODO refactored for clarity:
63+
binder_image_name
64+
gh_user_repo_name
6165
"""
6266
self.get_image_list()
63-
user_repo_formatted = self.gh_user_repo_name.replace('-', '-2d').replace('_', '-5f').replace('/', '-2d')
67+
if self.binder_image_name:
68+
src_name = self.binder_image_name
69+
else:
70+
src_name = self.gh_user_repo_name
71+
user_repo_formatted = src_name.replace('-', '-2d').replace('_', '-5f').replace('/', '-2d')
6472
pattern = f'{self.registry_url_bare}/binder-{user_repo_formatted}.*'
6573
for image in self.docker_images:
6674
if re.match(pattern, image):

0 commit comments

Comments
 (0)