Overview
| Comment: | Stop disabling certificate checks for wget and/or curl in the POSIX installation (Bash) scripts. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
5ec7a8a7f02d464f50c12397501c06de |
| User & Date: | mistachkin on 2019-08-18 01:49:12 |
| Other Links: | manifest | tags |
Context
|
2019-08-19
| ||
| 01:00 | Initial version of the generated documentation. check-in: f5e2a17310 user: mistachkin tags: trunk | |
|
2019-08-18
| ||
| 01:49 | Stop disabling certificate checks for wget and/or curl in the POSIX installation (Bash) scripts. check-in: 5ec7a8a7f0 user: mistachkin tags: trunk | |
| 01:16 | Fixes and refinements to the POSIX installation (Bash) scripts. check-in: 5845d07f1f user: mistachkin tags: trunk | |
Changes
Modified tools/pkgr_an_d_get.sh from [bd2bbbb7f8] to [86d54553f0].
| ︙ | ︙ | |||
53 54 55 56 57 58 59 |
pushd "${PKGR_TMP_ROOT}/download" || exit 1
PKGR_CLIENT_URI=https://urn.to/r/pkg_client_full
PKGR_TMP_FILE=pkgrd_tmp_file.zip
PKGR_GET_OK=0
if [ -x "$(command -v wget)" ]; then
| | | | 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 |
pushd "${PKGR_TMP_ROOT}/download" || exit 1
PKGR_CLIENT_URI=https://urn.to/r/pkg_client_full
PKGR_TMP_FILE=pkgrd_tmp_file.zip
PKGR_GET_OK=0
if [ -x "$(command -v wget)" ]; then
for wgetArg in "" ""
do
if wget -4 $wgetArg "--output-document=${PKGR_TMP_FILE}" "${PKGR_CLIENT_URI}"; then
if [ -f "${PKGR_TMP_FILE}" ]; then
PKGR_GET_OK=1
break
fi
fi
done
else
for curlArg in "" ""
do
if curl -4 $curlArg --location "${PKGR_CLIENT_URI}" > "${PKGR_TMP_FILE}"; then
if [ -f "${PKGR_TMP_FILE}" ]; then
PKGR_GET_OK=1
break
fi
fi
|
| ︙ | ︙ |
Modified tools/pkgr_an_d_install.sh from [a7d805fc2b] to [f750311fa5].
| ︙ | ︙ | |||
86 87 88 89 90 91 92 |
sudo -u "${PKGR_LOGIN_USER}" mkdir -p "${PKGR_TMP_DIR}" || exit 1
PKGR_CLIENT_URI=https://urn.to/r/pkg_client_full
PKGR_TMP_FILE=${PKGR_TMP_DIR}/pkgrd_tmp_${PKGR_TMP_ID}_file.zip
PKGR_GET_OK=0
if [ -x "$(command -v wget)" ]; then
| | | | 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 |
sudo -u "${PKGR_LOGIN_USER}" mkdir -p "${PKGR_TMP_DIR}" || exit 1
PKGR_CLIENT_URI=https://urn.to/r/pkg_client_full
PKGR_TMP_FILE=${PKGR_TMP_DIR}/pkgrd_tmp_${PKGR_TMP_ID}_file.zip
PKGR_GET_OK=0
if [ -x "$(command -v wget)" ]; then
for wgetArg in "" ""
do
if wget -4 $wgetArg "--output-document=${PKGR_TMP_FILE}" "${PKGR_CLIENT_URI}"; then
if [ -f "${PKGR_TMP_FILE}" ]; then
PKGR_GET_OK=1
break
fi
fi
done
else
for curlArg in "" ""
do
if curl -4 $curlArg --location "${PKGR_CLIENT_URI}" > "${PKGR_TMP_FILE}"; then
if [ -f "${PKGR_TMP_FILE}" ]; then
PKGR_GET_OK=1
break
fi
fi
|
| ︙ | ︙ |