Closed salbeira closed 10 months ago
No sure what yo mean by hard-coded in this case since Henrik made this configurable some years ago. For me it, e.g., look slike this in the decker.yaml
:
publish:
rsync:
destination: marc@mybelovedendpoint.uni-wuerzburg.de:/mnt/hci/lectures/ss23/icg
options:
- --rsync-path="sudo rsync"
- -rv
- --no-perms
- --stats
- --progress
Marc
The default arguments right now are:
--recursive --no-group --perms --chmod=a+r, go-w --no-owner --copy-links
found in External.hs
@marcerich , @mbotsch please update your local decker.yaml
files in case you set your own rsync options.
We currently have two ways to configure
decker publish
.One old way where parameters for
rsync
were not configurable and a new way where this is possible.Right now several arguments for
rsync
are hard coded inside thedecker publish
call.This creates extra headaches if you want to adapt the
decker publish
command for new environments.In our discussion we came to the conclusion that the truly required arguments are
--recursive
,--copy-links
and--delete
.Should the "old" way of using
decker publish
even be documented? Is it anywhere? The user-guide currently documents the new way if I interpret it correctly.