From 051d7dd6ac15ad2784aba02e51a548a9ec6f0f13 Mon Sep 17 00:00:00 2001 From: Philip Sargent Date: Sat, 5 Mar 2022 13:19:50 +0000 Subject: [PATCH] Edit this page --- handbook/computing/hbmanual1.html | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/handbook/computing/hbmanual1.html b/handbook/computing/hbmanual1.html index 4e8bb18fb..552a589e9 100644 --- a/handbook/computing/hbmanual1.html +++ b/handbook/computing/hbmanual1.html @@ -91,12 +91,14 @@ t/ - a thumbnail image which is usually used inside an <a> tag to link to
-

Tidying up and commiting the edits

-

'Edit This Page' edits the file served on the web +

Tidying up and committing the edits

+

'Edit This Page' edits the file served on the web, saves it, adds it to the list of proposed git updates, then finally does the git 'commit' on the server. Things can go wrong at each step of the process. -If the version control update fails, your edits will be saved and you will see them ont he -website but they will be lost later if you do not get a nerd to update the file in the version control -repository. To properly finish the job you need to get a nerd to +

Specific error message pages are produced if the file cannot be saved (usually a permissions error), if it cannot be added to git's list, or if the git commit fails (which would be due to a merge failure on a previous commit attempt). + +

If the version control commit fails, your edits will be saved and you will see them on the +website but they will be lost later if you do not get a nerd to fix the version control +repository properly. To properly finish the job you need to get a nerd to

-

We hope to make this issue go away by integrating triggers, but it is a low priority (April 2021). +

The same 'save/git-add/git-commit' process happens when uploading drawings files or when editing survex files online.


Go on to Editing several pages
Return to Online systems overview