diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt index 8bbea7eb9e..15c145aad9 100644 --- a/Documentation/dev-buck.txt +++ b/Documentation/dev-buck.txt @@ -345,12 +345,13 @@ run `buck` as usual: [-] 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 -one of these files (if they exist): /etc/buck.conf, $HOME/.buck/buck.conf or -$HOME/.buckrc. The trivial case to overwrite the Buck's default 1GB heap size: +User-specific configuration can be placed in one of the following files: +`/etc/buck.conf`, `$HOME/.buck/buck.conf` or `$HOME/.buckrc`. + +For example to override Buck's default 1GB heap size: ---- cat > $HOME/.buckrc <