From 485678214524a84ef1a2f25faa9427761a187bb9 Mon Sep 17 00:00:00 2001 From: David Pursehouse Date: Thu, 17 Oct 2013 00:13:55 +0900 Subject: [PATCH] Improve documentation of buck settings override Change-Id: I87e2ad3bc8e417f26758765cc6bde8880b3c653e --- Documentation/dev-buck.txt | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) 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 <