/usr/share/player/config/mapfile.cfg is in robot-player 3.0.2+dfsg-4.1ubuntu3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | #
# Example of loading a map from a file, and passing said map into
# other drivers that do things to it, like compute the C-space and
# rescale it.
#
driver
(
name "mapfile"
provides ["map:0"]
filename "PHE-05cm.pnm"
resolution 0.05
negate 0
)
driver
(
name "mapcspace"
provides ["map:1"]
requires ["map:0"]
robot_shape "circle"
robot_radius 0.5
)
driver
(
name "mapscale"
provides ["map:2"]
requires ["map:0"]
resolution 0.01
)
|