diff options
Diffstat (limited to 'system')
| -rw-r--r-- | system/.bash_aliases | 1 | ||||
| -rw-r--r-- | system/.profile | 10 |
2 files changed, 10 insertions, 1 deletions
diff --git a/system/.bash_aliases b/system/.bash_aliases index 193b86c..90c80bf 100644 --- a/system/.bash_aliases +++ b/system/.bash_aliases @@ -8,4 +8,3 @@ alias gcc-4.9='docker run --rm -v "$PWD":/usr/src/app -w /usr/src/app gcc:4.9 gc alias ghci='/usr/bin/ghci -fhistory-size=1000' alias tb='nc termbin.com 9999' alias tbc='(nc termbin.com 9999 | xclip -in -out)' -alias clean-systemdynamic='rm /opt/clean/lib/{ArgEnv,Directory,Dynamics,Gast,Generics,GraphCopy,iTasks,Platform,Sapl,StdLib,TCPIP}/**/*.abc /opt/clean/lib/StdEnv/Clean\ System\ Files/{_System,Std}*.abc **/*.abc' diff --git a/system/.profile b/system/.profile index fd8e67f..9c86c79 100644 --- a/system/.profile +++ b/system/.profile @@ -31,6 +31,16 @@ cpmq() { fi } +abcclean() { + find \ + /opt/clean/lib \ + ~/VersionControl/{iTasks-SDK,clean-platform,abc-interpreter} \ + . \ + -name '*.abc' \ + -not -name '_system.abc' \ + -exec rm -v {} \; +} + shopt -s globstar [ "$(tty)" = "/dev/tty1" ] && exec startx |