Merge branch 'publish' into publish

pull/30/head
Stephen Mather 2019-09-24 10:47:23 -04:00 zatwierdzone przez GitHub
commit ba248602ce
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -195,7 +195,7 @@ This is likely to be unwieldy large, but we can use a pipe `|` character and oth
[INFO] dem_euclidean_map: False
...
Pressing `Enter` or `Space`, arrow keys or `Page Up` or `Page Down` keys will now help us navigate through the logs. The letter `q` will let us escape back to the command line.
Pressing `Enter` or `Space`, arrow keys or `Page Up` or `Page Down` keys will now help us navigate through the logs. The lower case letter `Q` will let us escape back to the command line.
We can also extract just the end of the logs using the `tail` commmand as follows: