logtalk_user_setup - Logtalk user setup script
logtalk_user_setup
logtalk_user_setup is a Logtalk user setup script for copying the Logtalk user-modifiable files and directories to the location pointed by the environment variable LOGTALKUSER (defaults to "~/logtalk"). When the Logtalk user directory already exists, a backup is made to a directory whose name starts with "logtalk-backup-" and a new Logtalk user directory is created.
LOGTALKHOME Specifies the location of the Logtalk installation.
LOGTALKUSER Specifies the location of the Logtalk user directory.
The Logtalk website at https://logtalk.org/
The Logtalk User and Reference Manuals at $LOGTALKHOME/manuals/index.html
logtalk_version_select(1), logtalk_backend_select(1)
Paulo Moura <pmoura@logtalk.org>
Copyright (c) 1998-2021 Paulo Moura.
This HTML page was made with roffit.