From f89bf055b4c0304c9b91a14dbc68ef63605c8ca1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Wed, 23 Jan 2019 17:13:22 +0100
Subject: [PATCH] pyterm: use python3 by default

Python3 has been the default in our scripts for some time now, but pyterm still
requested python which uses python2 on ubuntu stable.

This pushes toward only needing to install `python3` python
dependencies.
---
 dist/tools/pyterm/pyterm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/tools/pyterm/pyterm b/dist/tools/pyterm/pyterm
index 56bc19d3bc..617d1d3d62 100755
--- a/dist/tools/pyterm/pyterm
+++ b/dist/tools/pyterm/pyterm
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 # -*- coding: utf-8 -*-
 
 # Copyright (C) 2014  Oliver Hahm <oliver.hahm@inria.fr>
-- 
GitLab