diff --git a/tools/blkdump.py b/tools/blkdump.py index 793602f..dcf5bf3 100755 --- a/tools/blkdump.py +++ b/tools/blkdump.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python3 # Read specified number of bytes in specified blkdev ID and spit it to stdout. # The proper blkdev has to be selected and placed already. diff --git a/tools/memdump.py b/tools/memdump.py index 7261295..7f9aa1c 100755 --- a/tools/memdump.py +++ b/tools/memdump.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python3 # Read specified number of bytes at specified memory address and dump it to # stdout. diff --git a/tools/upload.py b/tools/upload.py index 7a93606..7f59210 100755 --- a/tools/upload.py +++ b/tools/upload.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python3 # Push specified file to specified device and verify that the contents is # correct by sending a "peek" command afterwards and check the output. Errors