Expand comment about using a local directory as checkout and source
MODIFY
repo2docker/app.py
repo2docker/app.py
@@ -107,8 +107,8 @@ class Repo2Docker(Application):
],
config=True,
help="""
- Ordered list of ContentProviders to try in turn to fetch the contents
- specified by the user.
+ Ordered list by priority of ContentProviders to try in turn to fetch
+ the contents specified by the user.
"""
)
@@ -432,6 +432,8 @@ class Repo2Docker(Application):
# user wants to mount a local directory into the container for
# editing
if args.editable:
+ # the user has to point at a directory, not just a path for us
+ # to be able to mount it
if os.path.isdir(args.repo):
self.volumes[os.path.abspath(args.repo)] = '.'
else:
@@ -679,7 +681,9 @@ class Repo2Docker(Application):
sys.exit(1)
# if the source is a directory we will keep using it, assuming that
- # is what the user wanted
+ # is what the user wanted. This is how repo2docker has been working so
+ # far. Reusing a local directory seems better than making a copy of it
+ # as it might contain large files that would be expensive to copy.
if os.path.isdir(self.repo):
checkout_path = self.repo
else:

Expand comment about using a local directory as checkout and source