Nico Schottelius
|
f5eccb2cb1
|
introduce new variable names and use __explorers
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
0bf48923a9
|
change explorer to use locally available path
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
6ff47f59a8
|
use ./ for other explorer
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Steven Armstrong
|
4f1cc56bcd
|
add support for gentoo to explorer pgk_system
Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>
|
14 years ago |
|
Steven Armstrong
|
f3584aa727
|
add support for gentoo to explorer os
Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>
|
14 years ago |
|
Steven Armstrong
|
e1f90293b9
|
add support for gentoo to explorer pgk_system
Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>
|
14 years ago |
|
Steven Armstrong
|
3e89e05b30
|
add support for gentoo to explorer os
Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
16f51ca14d
|
Finish ugly explorer integration
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
7c6a61f751
|
+update header
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
8a802f6db3
|
add debian/ubuntu support for default pkg_system
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
8cfcaf30a4
|
adjust path to os explorer
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
4b5d7dda25
|
mega cleaunp discussion commit :-)
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
