Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
trac 18748: add documentation to scripts in sage_bootstrap/bin
Browse files Browse the repository at this point in the history
  • Loading branch information
jhpalmieri committed Jul 7, 2015
1 parent 9e2c568 commit cc213dc
Show file tree
Hide file tree
Showing 2 changed files with 48 additions and 0 deletions.
17 changes: 17 additions & 0 deletions src/sage_bootstrap/bin/sage-download-file
@@ -1,5 +1,22 @@
#!/usr/bin/env python

# USAGE:
#
# sage-download-file --print-fastest-mirror
#
# Print out the fastest mirror. All further arguments are ignored in
# that case.
#
# sage-download-file [--quiet] url-or-tarball [destination]
#
# The single mandatory argument can be a http:// url or a tarball
# filename. In the latter case, the tarball is downloaded from the
# mirror network and its checksum is verified.
#
# If the destination is not specified:
# * a url will be downloaded and the content written to stdout
# * a tarball will be saved under {SAGE_DISTFILES}

try:
import sage_bootstrap
except ImportError:
Expand Down
31 changes: 31 additions & 0 deletions src/sage_bootstrap/bin/sage-package
@@ -1,5 +1,36 @@
#!/usr/bin/env python

# Script to manage third-party tarballs.
#
# Usage:
#
# * Print the configuration
#
# $ sage-package config
# Configuration:
# * log = info
# * interactive = True
#
# * Print a list of all available packages
#
# $ sage-package list | sort
# 4ti2
# arb
# atlas
# autotools
# [...]
# zn_poly
#
# * Find the package name given a tarball filename
#
# $ sage-package name pari-2.8-1564-gdeac36e.tar.gz
# pari
#
# * Find the tarball filename given a package name
#
# $ sage-package tarball pari
# pari-2.8-1564-gdeac36e.tar.gz

try:
import sage_bootstrap
except ImportError:
Expand Down

0 comments on commit cc213dc

Please sign in to comment.