Difference between revisions of "Safety and Liveness"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
=Password Management=
=Password Management=


The default password for this MediaWiki is:
metalanguage
Please make sure that you immediately change admin password. The methods for changing the password can be found here:
[https://www.inmotionhosting.com/support/edu/mediawiki/password-username-media-wiki/ Changing Admin Password in MediaWiki]
[https://www.inmotionhosting.com/support/edu/mediawiki/password-username-media-wiki/ Changing Admin Password in MediaWiki]



Revision as of 15:32, 2 April 2021

Password Management

The default password for this MediaWiki is:

metalanguage

Please make sure that you immediately change admin password. The methods for changing the password can be found here: Changing Admin Password in MediaWiki

Windows Configuration

Running Dockers in Windows requires a lot of caring. You may find the following links useful:

Dos2Unix on Source Forge

How to add executables to your path.