UBC Physics & Astronomy
Hennings 203 Windows & Linux Dual Boot Undergrad Lab

Hennings 203 has the following resources: (See the Room Layout for a map of the room. )

Host Name IP Address MAC Address Operating System Network Port # Purchase Date Serial No. Comments
 cobra 142.103.243.39 E0:69:95:EB:1B:EE Ubuntu 12.04 & Windows 7   2011-08-21   Currently moved to Henn 205 lab
 jeep 142.103.243.228 E0:69:95:62:F7:E2 Ubuntu 12.04 & Windows 7 CCT005125 2011-08-21   Currently moved to Henn 205 lab
 lotus 142.103.243.179 E0:69:95:62:F8:0D Ubuntu 12.04 & Windows 7 CCT005117 2011-08-21   Currently moved to Henn 205 lab
 mercedes 142.103.243.227 E0:69:95:62:F8:D4 Ubuntu 12.04 & Windows 7 CCT005120 2011-08-21   Currently moved to Henn 205 lab
 pontiac 142.103.243.73 E0:69:95:62:F8:B8 Mageia 4 & Windows 7 CCT005114 2011-08-21    
 viper 142.103.243.226 E0:69:95:62:F8:A3 Ubuntu 12.04 & Windows 7 CCT005116 2011-08-21   Currently moved to Henn 205 lab
 clabreg 142.103.243.136 00:03:47:d7:cf:62 Fedora 2.6, Registration Kiosk        
 wally 142.103.243.148 00:16:76:BC:39:FA Windows 7 + HP ScanJet 7400c        
 xerator 142.103.239.149 9c:93:4e:30:c3:26 Xerox ColorQube 8870 printer (lp) CCT005129      



2014-08-15    Student progs folder location
\\batta\PHAS\Backup\progs\progs_henn203_140815

2014-08-15    Hide Favourites, Libraries, and Network from Windows Explorer Navigation Pane

2012-03-19    Update passwords
sudo /etc/pgs_get
User can't start Firefox
rm .mozilla/firefox/profiles.ini

2012-03-15    Change Grub 2 default boot order
sudo vi /etc/default/grub
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=7
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

Change default Timeout:
To change the default timeout option in GRUB 2, you just need to change the GRUB_TIMEOUT parameter. The value of this parameter is in sec, change this value as per your requirement.

Change the default boot option:
To change the default boot option in GRUB 2, you just need to change the GRUB_DEFAULT parameter. 0 is the first entry, so if you want Windows to be your default boot option which is, say at, 5th position in the grub menu, then you just need to change the GRUB_DEFAULT value to 4 and save the file and close it.

Save the file after making all the required changes and from the terminal run the following command

sudo update-grub

2012-01-03    Disable screensaver lock
sudo  rm /etc/xdg/autostart/gnome-screensaver.desktop (to stop screensaver from running on startup)

2011-09-09    Disable list of users in gdm login window
sudo -u gdm gconftool-2 --type bool --set /apps/gdm/simple-greeter/disable_user_list 'true'

2011-09-09    automatically set hostname
Create /etc/init.d/sethostname and then run:
phasadmin@viper:/etc/init.d$ sudo update-rc.d sethostname defaults
update-rc.d: warning: sethostname start runlevel arguments (2 3 4 5) do not match LSB Default-Start values (1 2 3 4 5)
update-rc.d: warning: sethostname stop runlevel arguments (0 1 6) do not match LSB Default-Stop values (0 6)
 Adding system startup for /etc/init.d/sethostname ...
   /etc/rc0.d/K20sethostname -> ../init.d/sethostname
   /etc/rc1.d/K20sethostname -> ../init.d/sethostname
   /etc/rc6.d/K20sethostname -> ../init.d/sethostname
   /etc/rc2.d/S20sethostname -> ../init.d/sethostname
   /etc/rc3.d/S20sethostname -> ../init.d/sethostname
   /etc/rc4.d/S20sethostname -> ../init.d/sethostname
   /etc/rc5.d/S20sethostname -> ../init.d/sethostname
Contents of /etc/init.d/sethostname:
#! /bin/sh

### BEGIN INIT INFO
# Provides:          nothing
# Required-Start:    
# Required-Stop:     
# Should-Start:      
# X-Start-Before:    networking
# Default-Start:     1 2 3 4 5
# Default-Stop:      0 6
# Short-Description: update /etc/hostname and /etc/hosts with hostname determined from dhcp
# Description:       update /etc/hostname and /etc/hosts with hostname determined from dhcp
#                    using lookup
#                    
### END INIT INFO

# rdp 10-08-12  ubuntu 10.04
# put this in /etc/init.d/sethostname
# to set up proper links, run the following command:
# sudo update-rc.d sethostname defaults

# the idea: get our IP addr, reverse lookup against the dhcp/dns server
# now get the hostname, and use the hostname command to set it without 
# using /etc/hostname

# get our IP address
ip=`ifconfig -a | grep 'inet addr:'| grep -v '127.0.0.1' | cut -d: -f2 | awk '{ print $1}'`

# get our fqdn from the dhcp/dns server (dnsmasq)
fqdn=`dig -x $ip +short`

# strip off the dn
myname=${fqdn%%.*}

# voila
echo "Found my hostname is" $myname
hostname $myname

# find current value in /etc/hostname
OLDNAME=`cat /etc/hostname`
# update /etc/hostname file
TMPFILE=/tmp/hostname
echo "Updating /etc/hostname"
sed "s/$OLDNAME/$myname/g" /etc/hostname > $TMPFILE && mv $TMPFILE /etc/hostname
/bin/rm -f $TMPFFILE

# update /etc/hosts file
TMPFILE=/tmp/hostname
echo "Updating /etc/hosts"
sed "s/$OLDNAME/$myname/g" /etc/hosts > $TMPFILE && mv $TMPFILE /etc/hosts
/bin/rm -f $TMPFFILE


Reference(s): Computer Lab Overview
                       Departmental Scanners
Printer(s): Xerox ColorQube 8870 User Guide
              

For more assistance contact Ron Parachoniak, rap@phas.ubc.ca

webmaster@phas.ubc.ca [Dept. Home Page] Last updated: