diff options
| author | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2011-03-07 20:17:33 +0100 |
|---|---|---|
| committer | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2011-03-07 20:37:01 +0100 |
| commit | f81ceb9dbee5e8038e4425f8645ad1d36b31ca77 (patch) | |
| tree | dbe9122efebcfa188b900f2cc63c39c25e1b00dc | |
| parent | d2db0b5cbc172df1f49acca78a936ac56bdfe149 (diff) | |
| download | rasdaman-upstream-f81ceb9dbee5e8038e4425f8645ad1d36b31ca77.tar.gz rasdaman-upstream-f81ceb9dbee5e8038e4425f8645ad1d36b31ca77.tar.xz rasdaman-upstream-f81ceb9dbee5e8038e4425f8645ad1d36b31ca77.zip | |
doc: Add "tips and tricks" section to INSTALL
Document the "git clean" trick (for now, more to follow).
| -rw-r--r-- | INSTALL | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -10,4 +10,17 @@ to ./configure. To see them, use: $ ./configure --help Once installed, see the "rasdaman Installation Guide" for the next steps. -It can be found in manuals_and_examples/manuals/pdf/inst-guide.pdf
\ No newline at end of file + +It can be found in manuals_and_examples/manuals/pdf/inst-guide.pdf + + + +Tips and tricks: +~~~~~~~~~~~~~~~~ + + * If you are building from a git clone and want to clean ALL files + like you had just done a fresh "git clone", run + + $ git clean -f -x -d + + CAUTION: This will REMOVE ALL FILES not committed to the git repo! |