Finish ugly explorer integration
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
4450b2f573
commit
16f51ca14d
5 changed files with 28 additions and 12 deletions
|
|
@ -33,3 +33,6 @@ fi
|
|||
[ -f /etc/debian_version ] && echo debian
|
||||
|
||||
[ -f /etc/redhat-release ] && echo redhat
|
||||
|
||||
# ensure correct exit, otherwise other explorer won't get started
|
||||
exit 0
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue