18 January 2022

Welcome Aboard!

Server Accounts I have created account for everyone new to the server. If you use Windoze, downlaod PuTTY (get the .msi file). All user should obtain FileZilla Client.

Shell Essentials You will need to know about the command line to deal with the Google shell. We are going to review some of the most important features of the command line this AM. The file s1A.pdf has all you need to know and more. If you are new to UNIX, you should look at this document in the afternoon. Open some terminal sessions and try stuff.

Controlling Permissions You will need to know about the permision mechanism in UNIX. The file s1A.pdf has complete coverage of this.

Web Workings

The file s1A.pdf has quite a bit of detail on HTML.

<!doctype html>
<html>
    <head>
        <meta charset="utf-8"/>
        <link rel=stylesheet href="style.css"/>
        <script src="first.js"></script>
    </head>
    <body>
        <h1>jterm23z's World</h1>

        <p><button id = "butt">Clickez-vous Moi!</button></p>

        <p id="spot"></p>
    </body>
</html>
HTMLWhat it does
<!doctype html>This tells a browser this is an HTML5 document.
<html>Begin the document
<head>Begin document head
<meta charset="utf-8"/>We are using the standard character set
<link rel=stylesheet href="style.css"/>Link in the style sheet style.css
<script src="first.js"></script> Load the JS file first.js
</head>End document head.
<body>Begin document body.
<h1>jterm23z's World</h1>Largest headline.
<p><button id = "butt">Clickez-vous Moi!</button></p>Here we make a button and give it an ID so JS can get at it.
<p id="spot"></p>We will write into this empty paragraph with JS.
</body>End the body
</html>End the document.

There are three types of tags in HTML.

An opening or self-closing tag can have zero or more attriubtes that look like this.

<tag smurf0 = "grunt0" smurf1="grunt1 ...  smurfN="gruntN">

Closing tags have no attributes.


h1, h2 /*  this is a selector; it selects elements */
{
    text-align:center;  /*property: value*/
}

//This delays main being called until thte page is 
//loaded
addEventListener("load", main);
function main()
{
    let butt = document.getElementById("butt");
    let spot = document.getElementById("spot");
    butt.addEventListener("click", function()
    {
        spot.innerHTML = "The button got pushed.";
    });
}