summaryrefslogtreecommitdiff
path: root/man/bst-source-fetch.1
diff options
context:
space:
mode:
authorChandan Singh <csingh43@bloomberg.net>2019-01-24 21:13:15 +0000
committerChandan Singh <chandan@chandansingh.net>2019-01-25 23:50:49 +0000
commitd74386886a1ca53a394dc80c1a29c777e087398a (patch)
tree62acfb0a853787ea2f5dcd997ca787e481c92464 /man/bst-source-fetch.1
parent89ba2abe538bfc5fd9fca77a71e5fb6e02f7039c (diff)
downloadbuildstream-d74386886a1ca53a394dc80c1a29c777e087398a.tar.gz
man: Refresh man pages
Notable changes: * New `source` and `artifact` command groups * Man pages corresponding to obsolete commands, that were marked as hidden in Click, have now been removed. Fixes #881.
Diffstat (limited to 'man/bst-source-fetch.1')
-rw-r--r--man/bst-source-fetch.111
1 files changed, 9 insertions, 2 deletions
diff --git a/man/bst-source-fetch.1 b/man/bst-source-fetch.1
index 6168f5f92..8cbb792e2 100644
--- a/man/bst-source-fetch.1
+++ b/man/bst-source-fetch.1
@@ -1,4 +1,4 @@
-.TH "BST SOURCE FETCH" "1" "22-Jan-2019" "" "bst source fetch Manual"
+.TH "BST SOURCE FETCH" "1" "24-Jan-2019" "" "bst source fetch Manual"
.SH NAME
bst\-source\-fetch \- Fetch sources in a pipeline
.SH SYNOPSIS
@@ -7,6 +7,13 @@ bst\-source\-fetch \- Fetch sources in a pipeline
.SH DESCRIPTION
Fetch sources required to build the pipeline
.PP
+Specifying no elements will result in fetching the default targets
+of the project. If no default targets are configured, all project
+elements will be fetched.
+.PP
+When this command is executed from a workspace directory, the default
+is to fetch the workspace element.
+.PP
By default this will only try to fetch sources which are
required for the build plan of the specified target element,
omitting sources for any elements which are already built
@@ -30,4 +37,4 @@ The dependencies to fetch (default: plan)
Track new source references before fetching
.TP
\fB\-J,\fP \-\-track\-cross\-junctions
-Allow tracking to cross junction boundaries \ No newline at end of file
+Allow tracking to cross junction boundaries