33 |
--domain) shift; ses_domain="$1" ;; |
--domain) shift; ses_domain="$1" ;; |
34 |
--server) shift; ses_browseradrs="$1" ;; |
--server) shift; ses_browseradrs="$1" ;; |
35 |
--colordepth) shift; ses_colors="$1" ;; |
--colordepth) shift; ses_colors="$1" ;; |
36 |
esac |
esac |
37 |
shift |
shift |
38 |
done |
done |
39 |
|
|
105 |
--param|-p) shift; param="$1" ;; |
--param|-p) shift; param="$1" ;; |
106 |
--dest|-d) shift; dest="$1" ;; |
--dest|-d) shift; dest="$1" ;; |
107 |
--workdir|-w) shift; workdir="$1" ;; |
--workdir|-w) shift; workdir="$1" ;; |
108 |
esac |
esac |
109 |
shift |
shift |
110 |
done |
done |
111 |
|
|
150 |
--icon-width|-w) shift; iwidth="$1" ;; |
--icon-width|-w) shift; iwidth="$1" ;; |
151 |
--icon-height|-h) shift; iheight="$1" ;; |
--icon-height|-h) shift; iheight="$1" ;; |
152 |
--default-icon) shift; deficon="$1" ;; |
--default-icon) shift; deficon="$1" ;; |
153 |
esac |
esac |
154 |
shift |
shift |
155 |
done |
done |
156 |
|
|