[lmi-commits] [lmi] master updated (1d72971 -> 3618602)

[Greg Chicares]

chicares pushed a change to branch master.

      from  1d72971   Copy a chroot's log file to host
       new  2efaa10   Suppress a debian nuisance
       new  135b344   Diagnose and correct defective umask
       new  d7bcdbf   Improve documentation
       new  1786dd1   Copy another chroot log file to host
       new  61c427f   Detect whether gnu.org is, bizarrely, blocked
       new  3618602   Determine chroot parameters dynamically


Summary of changes:
 gwc/.zshrc         |  5 +++++
 install_cygwin.bat |  2 +-
 install_msw.sh     |  2 +-
 install_redhat.sh  | 42 +++++++++++++++++++++++++++++++++---------
 lmi_setup_20.sh    |  8 ++++++--
 lmi_setup_inc.sh   |  7 -------
 6 files changed, 46 insertions(+), 20 deletions(-)