[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lmi-commits] [lmi] master 953ef893 2/2: Note more messages that may saf
From: |
Greg Chicares |
Subject: |
[lmi-commits] [lmi] master 953ef893 2/2: Note more messages that may safely be ignored |
Date: |
Fri, 25 Feb 2022 08:05:24 -0500 (EST) |
branch: master
commit 953ef8937c1598f87c928b387e1cc1df2c5c3923
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>
Note more messages that may safely be ignored
---
install_msw.sh | 6 +++++-
lmi_setup_30.sh | 3 +++
lmi_setup_43.sh | 5 ++++-
3 files changed, 12 insertions(+), 2 deletions(-)
diff --git a/install_msw.sh b/install_msw.sh
index adddd7e4..e9c21b50 100755
--- a/install_msw.sh
+++ b/install_msw.sh
@@ -211,7 +211,11 @@ cd /opt/lmi/src || printf 'Cannot cd\n'
if [ "$inhibit_git_clone" != 1 ]
then
# Preserve any preexisting source directory, moving it aside so
- # that 'git clone' will install a pristine working copy.
+ # that 'git clone' will install a pristine working copy. If no
+ # preexisting source directory existed, ignore the
+ # cp: cannot stat 'lmi': No such file or directory
+ # message; this script will continue safely because it
+ # deliberately doesn't 'set -e'.
cp --archive lmi lmi-moved-"$stamp0"
rm -rf /opt/lmi/src/lmi
diff --git a/lmi_setup_30.sh b/lmi_setup_30.sh
index 1b929da6..a44f331a 100755
--- a/lmi_setup_30.sh
+++ b/lmi_setup_30.sh
@@ -69,6 +69,9 @@ assert_not_chrooted
# Configure ssh, iff this chroot needs write access to savannah.
# The easiest way is to copy existing credentials, e.g.:
cp -a ~/.ssh/ /srv/chroot/"${CHRTNAME}"/home/"${NORMAL_USER}" || true
+# ignoring any message like
+# cannot stat ‘/home/[some_user_name]/.ssh/’: No such file or directory
+#
# Make sure the .ssh/config file contains:
# Protocol 2
# HashKnownHosts no
diff --git a/lmi_setup_43.sh b/lmi_setup_43.sh
index e4ea2572..a55cbfa2 100755
--- a/lmi_setup_43.sh
+++ b/lmi_setup_43.sh
@@ -131,7 +131,10 @@ cd free/src || { printf 'failed: cd\n'; exit 3; }
# Use git's own protocol wherever possible. In case that's blocked
# by a corporate firewall, fall back on https. In case a firewall
# inexplicably blocks the gnu.org domain, try Vadim's github clone
-# as a last resort.
+# as a last resort. Any messages like
+# fatal: read error: Connection timed out
+# can be ignored as long as one of the subsequent git-clone commands
+# succeeds.
git clone git://git.savannah.nongnu.org/lmi.git \
|| git clone https://git.savannah.nongnu.org/r/lmi.git \