infrahouse_toolkit.cli.ih_github.cmd_runner.cmd_download package

Module contents

ih-github runner download

A ih-github runner download subcommand.

See ih-github runner download --help for more details.

infrahouse_toolkit.cli.ih_github.cmd_runner.cmd_download.download_file(url: str, dst: str)

Download a file from a URL to a local destination file.

Parameters:

• url – URL of the file to download

• dst – Local path to save the downloaded file