Name

logtalk_user_setup - Logtalk user setup script

Synopsis

logtalk_user_setup

Description

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.

Environment

LOGTALKHOME Specifies the location of the Logtalk installation.

LOGTALKUSER Specifies the location of the Logtalk user directory.

See also

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)

Author

Paulo Moura <pmoura@logtalk.org>

Copyright

Copyright (c) 1998-2021 Paulo Moura.

This HTML page was made with roffit.