[riot-notifications] [RIOT-OS/RIOT] tools/print_toolchain_versions.sh: use lsb_release. (#10770)

Juan I Carrano notifications at github.com
Wed Jan 16 11:44:37 CET 2019

jcarrano commented on this pull request.

>  get_os_info() {
     local os="$(uname -s)"
     local osname="unknown"
     local osvers="unknown"
     if [ "$os" = "Linux" ]; then
-        osname="$(cat /etc/os-release | grep ^NAME= | awk -F'=' '{print $2}')"

> Just the required redeployment within the CI

We don't need to redeploy the CI _now_. https://github.com/RIOT-OS/riotdocker/pull/63 can be merged, wait until enough changes pile up and when the new image is finally deployed, then this PR can go in.

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190116/b236af4a/attachment.html>

More information about the notifications mailing list