| family |
linux |
| env_set |
export |
| extract_package |
| .tar.gz |
rm -f $#cm_file_without_one_ext#$ ; gzip -d $#cm_file#$ ; tar xvf $#cm_file_without_one_ext#$; rm -f $#cm_file_without_one_ext#$ |
| .zip |
unzip -q -o $#cm_file#$ ; rm -f $#cm_file#$ |
| .tar.bz2 |
rm -f $#cm_file_without_one_ext#$ ; bzip2 -d $#cm_file#$ ; tar xvf $#cm_file_without_one_ext#$; rm -f $#cm_file_without_one_ext#$ |
|
|
| env_dollar_if_remote |
yes |
| full_name |
generic linux |
| env_quotes_if_remote |
" |
| env_quotes |
" |
| script_ext |
.sh |
| file_extensions |
| java_lib |
.jar |
| exe |
.out |
| java_class |
.class |
| lib |
.a |
| dll |
.so |
|
|
| change_dir |
cd |
| bin_prefix |
./ |
| exec_prefix |
./ |
| env_var_start |
$ |
| version |
|
| rem |
# |
| env_call |
. |
| set_executable |
chmod 755 |
| dir_sep |
/ |
| bits |
64 |
| name |
unix |
| env_var_stop |
|
| md5sum |
md5sum |
| env_separator |
; |
| lib_dir |
lib64 |
| batch_prefix |
#! /bin/bash
# cM generated script
|
| Cmd for detached console |
xterm -hold -e "$#cmd#$" |
| HTML for detached console |
<html>
<body>
<script language="javascript">
<!--
self.close();
//-->
</script>
Console was detached. This window can be closed!
</body>
</html> |
