Improve documentation of buck settings override
Change-Id: I87e2ad3bc8e417f26758765cc6bde8880b3c653e
This commit is contained in:
@@ -345,12 +345,13 @@ run `buck` as usual:
|
|||||||
[-] BUILDING...FINISHED 0.2s
|
[-] BUILDING...FINISHED 0.2s
|
||||||
----
|
----
|
||||||
|
|
||||||
Overwrite Buck's settings
|
Override Buck's settings
|
||||||
~~~~~~~~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
In the latest version of Buck the wrapper script `buck_common` will source
|
User-specific configuration can be placed in one of the following files:
|
||||||
one of these files (if they exist): /etc/buck.conf, $HOME/.buck/buck.conf or
|
`/etc/buck.conf`, `$HOME/.buck/buck.conf` or `$HOME/.buckrc`.
|
||||||
$HOME/.buckrc. The trivial case to overwrite the Buck's default 1GB heap size:
|
|
||||||
|
For example to override Buck's default 1GB heap size:
|
||||||
|
|
||||||
----
|
----
|
||||||
cat > $HOME/.buckrc <<EOF
|
cat > $HOME/.buckrc <<EOF
|
||||||
@@ -361,7 +362,7 @@ $HOME/.buckrc. The trivial case to overwrite the Buck's default 1GB heap size:
|
|||||||
EOF
|
EOF
|
||||||
----
|
----
|
||||||
|
|
||||||
Or to debug BUCK, set BUCK_DEBUG_MODE to anything non-empty, then connect to
|
Or to debug BUCK, set `BUCK_DEBUG_MODE` to anything non-empty, then connect to
|
||||||
port 8888:
|
port 8888:
|
||||||
|
|
||||||
----
|
----
|
||||||
|
Reference in New Issue
Block a user