diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt index 0acf04ad86..a41a821a42 100644 --- a/Documentation/dev-buck.txt +++ b/Documentation/dev-buck.txt @@ -332,6 +332,31 @@ Using buckd. [-] BUILDING...FINISHED 0.2s ---- +Overwrite 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: + +---- + cat > $HOME/.buckrc < $HOME/.buckrc <