update jinstall

Author: cdburke

config/version.txt

@@ -1 +1 @@
-9.7.10
+9.7.11

pacman/jinstall.ijs

@@ -5,7 +5,8 @@ NB. jinstall v initial J install
 NB. called by system installation script
 NB.
 NB.  ide is none/slim/full  - Qt IDE selection
-NB.  addons is none/all     - Addons selection
+NB.  addons is none/all
+NB.  shortcuts is true/false
 NB.
 NB. does:
 NB.  JE update
@@ -18,18 +19,19 @@ jinstall=: 3 : 0
 
 JINSTALL=: 1
 
-'j ide addons'=. 3 {. ;: y
+'j ide addons shorts'=. 4 {. ;: y
 
 ifide=. -. ide -: 'none'
 ifaddons=. -. addons -: 'none'
+ifshorts=. -. shorts -: 'false'
 
 echo 'Installing ', 1 pick revinfo_j_''
 
 'update' jpkg ''
 echo 'Updating J engine...'
 je_update''
 
-if. -. 'Darwin'-:UNAME do.
+if. ifshorts *. -. 'Darwin'-:UNAME do.
   if. 2~:ftype jpath'~/Desktop' do.
     echo 'No Desktop folder, so shortcuts not installed'
   else.