diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2007-09-10 01:12:45 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2007-09-10 01:12:45 +0000 |
| commit | a367ff6ace8141405eba435094f433fcc0d02348 (patch) | |
| tree | 39f4c457038c1f53dc64b574f8e4ce7a4ffd06c5 /games/crafty | |
| parent | e7906bc29ef65876195f43cfb2428b053e18584f (diff) | |
| download | ports-a367ff6ace8141405eba435094f433fcc0d02348.tar.gz ports-a367ff6ace8141405eba435094f433fcc0d02348.zip | |
Notes
Diffstat (limited to 'games/crafty')
| -rw-r--r-- | games/crafty/pkg-message | 7 | ||||
| -rw-r--r-- | games/crafty/scripts/configure | 16 |
2 files changed, 23 insertions, 0 deletions
diff --git a/games/crafty/pkg-message b/games/crafty/pkg-message new file mode 100644 index 000000000000..fe5415dcfeb0 --- /dev/null +++ b/games/crafty/pkg-message @@ -0,0 +1,7 @@ + +This package is set to allow per-user config files, and a shared +books directory. To accomplish this, crafty is setuid nobody, and +the books and learning information is owned by the user 'nobody.' + +The location values are tunable, see message when make is issued. + diff --git a/games/crafty/scripts/configure b/games/crafty/scripts/configure new file mode 100644 index 000000000000..56677e49d8d7 --- /dev/null +++ b/games/crafty/scripts/configure @@ -0,0 +1,16 @@ + echo "" + echo "" + echo "This port has the following tunables:" + echo "WITH_BOOKDIR (default: ${PREFIX}/lib/crafty" + echo "WITH_LOGDIR (default: /tmp)" + echo "WITH_RCDIR (default: ~/)" + echo "WITH_TBDIR (default: ${PREFIX}/lib/crafty/TB)" + echo "" + echo "To alter any of these, press CTRL-C now, and " + echo "simply set your desired variable with one or more of:" + echo "" + echo "<setenv WITH_BOOKDIR|LOGDIR|RCDIR|TBDIR path> (csh) or" + echo "<export WITH_BOOKDIR|LOGDIR|RCDIR|TBDIR=path> (sh)" + echo "" + echo "Changing BOOKDIR or TBDIR is not recommended, as other" + echo "ports depend on these being in a standard location" |