mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-11-06 03:08:55 -05:00
Improve error message for OSError in [p]repo add (#3656)
* Update downloader.py * Update downloader.py
This commit is contained in:
parent
0f364a6d13
commit
5074f2dbab
@ -506,7 +506,12 @@ class Downloader(commands.Cog):
|
|||||||
except errors.ExistingGitRepo:
|
except errors.ExistingGitRepo:
|
||||||
await ctx.send(_("That git repo has already been added under another name."))
|
await ctx.send(_("That git repo has already been added under another name."))
|
||||||
except errors.CloningError as err:
|
except errors.CloningError as err:
|
||||||
await ctx.send(_("Something went wrong during the cloning process."))
|
await ctx.send(
|
||||||
|
_(
|
||||||
|
"Something went wrong during the cloning process."
|
||||||
|
" See logs for more information."
|
||||||
|
)
|
||||||
|
)
|
||||||
log.exception(
|
log.exception(
|
||||||
"Something went wrong whilst cloning %s (to revision: %s)",
|
"Something went wrong whilst cloning %s (to revision: %s)",
|
||||||
repo_url,
|
repo_url,
|
||||||
@ -520,7 +525,7 @@ class Downloader(commands.Cog):
|
|||||||
await ctx.send(
|
await ctx.send(
|
||||||
_(
|
_(
|
||||||
"Something went wrong trying to add that repo."
|
"Something went wrong trying to add that repo."
|
||||||
" Your repo name might have an invalid character."
|
" See logs for more information."
|
||||||
)
|
)
|
||||||
)
|
)
|
||||||
else:
|
else:
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user