Merge branch 'master' of ssh://holtrop.homelinux.com/files
This commit is contained in:
commit
8e50c66572
2 files changed
+5
-4
No files matched your search
@@ -9,7 +9,9 @@ $include /etc/inputrc
|
|||||||
|
|
||||||
# F1 -> clear screen
|
# F1 -> clear screen
|
||||||
"\eOP": "clear\n"
|
"\eOP": "clear\n"
|
||||||
# F4
|
# F2 -> take a quick note
|
||||||
|
"\eOQ": "cat >/dev/null\n"
|
||||||
|
# F4 -> c++ source file extensions
|
||||||
"\eOS": "{h,cc}"
|
"\eOS": "{h,cc}"
|
||||||
|
|
||||||
# Fragment from Ubuntus default inputrc:
|
# Fragment from Ubuntus default inputrc:
|
||||||
|
|||||||
@@ -42,10 +42,9 @@ import re
|
|||||||
import time
|
import time
|
||||||
from subprocess import *
|
from subprocess import *
|
||||||
|
|
||||||
PATH = os.environ['PATH'].split(os.pathsep)
|
|
||||||
|
|
||||||
def findInPath(cmd):
|
def findInPath(cmd):
|
||||||
for p in PATH:
|
path_entries = os.environ['PATH'].split(os.pathsep)
|
||||||
|
for p in path_entries:
|
||||||
full_path = os.path.join(p, cmd)
|
full_path = os.path.join(p, cmd)
|
||||||
if os.path.exists(full_path):
|
if os.path.exists(full_path):
|
||||||
return full_path
|
return full_path
|
||||||
|
|||||||
Reference in new issue
Block a user