Update installation.md when releasing

This commit is contained in:
Filipe PINTO 2023-02-02 13:38:42 +01:00 committed by lepapareil
parent 176e83e83c
commit ec1e0a1012
No known key found for this signature in database
GPG Key ID: F4F06B068FB00692

View File

@ -237,14 +237,14 @@ jobs:
run: |
./bin/update_crates.sh
- name: Update packages manuals
- name: Update installation doc
run: |
# TODO: create a dedicated check script
#version_doc="docs/installation.md"
#old_version=$(grep "sudo dpkg -i" "${version_doc}" | cut --delimiter "_" --field 2 )
#echo "old_version=${old_version}"
#sed -i "s/${old_version}/${{ needs.set-context.outputs.release_version }}/g" "${version_doc}"
# grep "${{ needs.set-context.outputs.release_version }}" "${version_doc}"
version_doc="docs/installation.md"
old_version=$(grep "apt install" "${version_doc}" | grep "hurl" | cut --delimiter '/' --field 2- | cut --delimiter '_' --field 2)
echo "old_version=${old_version}"
sed -i "s/${old_version}/${{ needs.set-context.outputs.release_version }}/g" "${version_doc}"
grep "${{ needs.set-context.outputs.release_version }}" "${version_doc}"
- name: Update man
run: |