Fixes command syntax for ls and dir.
[jnode:svn-mirror.git] / jnode.properties.dist
1 # This file contain custom JNode properties used in the JNode build process.
2 #
3 # Copy this file to jnode.properties and edit that file as needed.
4 #
5
6 # -----------------------------------------------
7 # Settings for initjar building
8
9 # Set this directory to the directory containing custom plugin lists 
10 # if you have custom initjars to build.
11 # custom.plugin-list.dir = ${root.dir}/local/plugin-lists/
12
13 # Custom GRUB menu for JNode CD image
14 #grub.menu.cdrom=${root.dir}/local/menu-cdrom.lst
15
16 # Uncomment this property if you do not want the default initjars to be build.
17 # no.default.initjars = 1
18
19 # Set this property to the directory containing user applications for the 
20 # jar packager (tool to easily create a jnode plugin from a regular jar file)
21 # user.applications.dir = ${root.dir}/local/applications/
22
23 # The jar packager adds the user plugins to the plugin list specified here.
24 # target.plugin.list=default
25
26 # -----------------------------------------------
27 # Settings for the bootdisk image
28
29 # Uncomment this property if you do not want bootdisk image to be build.
30 # no.bootdisk = 1
31
32 # -----------------------------------------------
33 # Settings for the netboot build
34
35 # Uncomment this property if you do not want netboot directory to be build.
36 # no.netboot = 1
37
38 # -----------------------------------------------
39 # Settings for the memory manager
40
41 # Default memory manager (selected when no other memory manager is selected)
42 # jnode.memmgr.plugin.id=org.jnode.vm.memmgr.def
43
44 # Uncomment to enable MMTk NoGC based memory manager (still very beta)
45 # jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.nogc
46
47 # Uncomment to enable MMTk GenRC based memory manager (still very alpha)
48 # jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.genrc
49
50 # -----------------------------------------------
51 # Settings for the document-plugins task
52
53 # Uncomment this if you want the document-plugins task to include a tree page.
54 # You must have dot installed for this, see http://www.graphviz.org/
55 # jnode.plugin.doc.tree = true
56
57 # -----------------------------------------------
58 # Settings for use of NT bootloader (NT/Me/XP)
59
60 # Changes these values to match the disk/partition where windows is installed.
61 # the value is of the form (hdx,y) where :
62 # - x is the disk number (starting from 0)
63 # - y is the partition number (starting from 0)
64 partition-nt=(hd0,1)
65
66 # Path to install jnode. The drive must be where is installed windows
67 jnode.install-nt.dir=C:\jnode
68
69 # -----------------------------------------------
70 # Settings for the compiler
71
72 # Uncomment this if you want use custom compiler arguments
73 #compilerarg=-Xlint:unchecked
74
75 # -----------------------------------------------
76 # Set up the host and port where the JNode debugger server is available.
77 # This is needed by the hotswap ant target.
78 jnode.debugger.host=
79 jnode.debugger.port=6789
80
81 # -----------------------------------------------
82 # Settings for a VMware virtual machine
83 # -----------------------------------------------
84
85 # Uncomment and edit this line if you want to override the settings
86 # in the 'jnode-x86-*.vmx' file.  For example, you may want to include
87 # settings to configure a VMware virtual hard drive, or real hard drive.
88 # Refer to the maintainers pages on the JNode website for details.
89 # Notes:
90 # - Settings in the override file should be in standard VMX syntax.
91 # - The settings override the default settings, including (if you
92 #   set them) the memSize and/or logFile parameters set in the
93 #   ant build.xml files.
94 # - Any non-absolute pathnames in the VMX settings are resolved relative
95 #   to the VMX file's location!
96
97 #vmware.vmx.overrides=<some-file-containing-vmx-settings>
98
99 # -----------------------------------------------
100 # Custom system properties 
101 # -----------------------------------------------
102
103 jnode.java.home=/jnode
104 jnode.java.io.tmpdir=/jnode/tmp
105 jnode.user.home=/jnode/home
106
107 # -----------------------------------------------
108 # Enable or disable security under JNode
109 # -----------------------------------------------
110
111 #jnode.security.enabled=true
112
113 # -----------------------------------------------
114 # Custom build tools
115 # -----------------------------------------------
116 # jnode.enable.mkisofs=true
117
118 # -----------------------------------------------
119 # If enabled, the build system will not try to
120 # download the classlib binaries from the net.
121 # Instead the quickdeploy ANT target should be run
122 # in classlib6 to get the binaries.
123 # -----------------------------------------------
124 #jnode.local.classlib=true