tools/ew.py: Add support for gnome-terminal
[helenos.git] / tools / 
treeb43836f7c92273ec0e157acc36e0f613644f56b1
drwxr-xr-x   ..
-rwxr-xr-x 2503 autocheck.awk
-rwxr-xr-x 21439 autotool.py
-rwxr-xr-x 2039 build-ccheck.sh
-rwxr-xr-x 3288 cc.sh
-rwxr-xr-x 2258 ccheck.sh
-rwxr-xr-x 2460 check.sh
drwxr-xr-x - checkers
drwxr-xr-x - conf
-rwxr-xr-x 21327 config.py
-rwxr-xr-x 3322 dest_build.py
-rwxr-xr-x 14590 ew.py
-rwxr-xr-x 1778 filldir.py
-rwxr-xr-x 1775 gentestfile.py
drwxr-xr-x - grub
-rw-r--r-- 3237 imgutil.py
-rwxr-xr-x 2490 jobfile.py
-rwxr-xr-x 5490 mkarray.py
-rwxr-xr-x 22712 mkext2.py
lrwxrwxrwx 9 mkext4.py -> mkext2.py
-rwxr-xr-x 15898 mkfat.py
-rwxr-xr-x 4450 mkuimage.py
-rwxr-xr-x 1184 srepl
-rwxr-xr-x 14433 toolchain.sh
-rwxr-xr-x 7306 travis.sh
drwxr-xr-x - xcw
-rw-r--r-- 5043 xstruct.py
-rw-r--r-- 6132 xtui.py