Error: no such theme PatternSkinTheme

Difference: StopFirefox (1 vs. 6)

Revision 6
2011-09-21 - Main.JeffLeep
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
-- MartinDluhos - 2011-09-21

Stop Firefox Script

This script stops an existing firefox instance, so that user can open a new instance:
Changed:
<
<
>
>
  # description: This script kills a running Iceweasel (Firefox) instance, so # that a new one can be started. # author: Martin Dluhos
Revision 5
2011-09-21 - Main.MartinDluhos
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<
-- MartinDluhos - 2011-09-19
>
>
-- MartinDluhos - 2011-09-21
 

Stop Firefox Script

This script stops an existing firefox instance, so that user can open a new instance:
Line: 9 to 9
  # that a new one can be started. # author: Martin Dluhos # created: September 8, 2011
Changed:
<
<
# revised: September 19, 2011
>
>
# revised: September 21, 2011
 

# Change into Firefox's default profile directory
Changed:
<
<
cd ~/.mozilla/firefox

# Find the name of the default profile and change into it profile_name=`/bin/ls | /bin/grep .default` cd $profile_name
>
>
pushd ~/.mozilla/firefox/*.default
 

# The lock file is a symbolic link to an ip:+pid # Find the ip and pid to which the lock is symlinking ip=`/usr/bin/file lock | /bin/grep -o -E '([0-9]{1,3}\.){3}[0-9]{1,3}'` pid=`/usr/bin/file lock | /bin/grep -o -E ':\+[0-9]+' | /usr/bin/cut -d '+' -f 2`
Changed:
<
<

# Remotely connect to the machine with the discovered ip and kill the process with the pid username=`/usr/bin/whoami` exit_status=`/usr/bin/ssh $username@$ip "/bin/kill -15 $pid; echo $?" | tail -1`
>
>
# ssh into the machine with the ip and kill the process with the pid exit_status=`/usr/bin/ssh $ip "/bin/kill -15 $pid; echo $?" | tail -1`
 

# Print a helpful message to the user if [ $exit_status -eq 0 ]
Line: 36 to 30
  else /bin/echo "Iceweasel did NOT terminate!" fi
Added:
>
>

# Restore the working directory at the end popd
 
Revision 4
2011-09-20 - Main.MartinDluhos
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
-- MartinDluhos - 2011-09-19
Added:
>
>

Stop Firefox Script

 

This script stops an existing firefox instance, so that user can open a new instance:
Deleted:
<
<
 
# description: This script kills a running Iceweasel (Firefox) instance, so
#        that a new one can be started.
Revision 3
2011-09-19 - Main.MartinDluhos
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
-- MartinDluhos - 2011-09-19
Line: 23 to 23
  ip=`/usr/bin/file lock | /bin/grep -o -E '([0-9]{1,3}\.){3}[0-9]{1,3}'` pid=`/usr/bin/file lock | /bin/grep -o -E ':\+[0-9]+' | /usr/bin/cut -d '+' -f 2`
Deleted:
<
<
# Figure out how to top the running Iceweasel instance via rsh (or other) # without having to authenticate- do something similar to the command below # /usr/bin/rsh -x $ip kill -15 $pid
 
Changed:
<
<
# ssh into the machine with the ip and kill the process with the pid
>
>
# Remotely connect to the machine with the discovered ip and kill the process with the pid
  username=`/usr/bin/whoami`
Changed:
<
<
exit_status=`/usr/bin/ssh "$username@$ip /bin/kill -15 $pid; echo $?" | tail -1` exit
>
>
exit_status=`/usr/bin/ssh $username@$ip "/bin/kill -15 $pid; echo $?" | tail -1`
 

# Print a helpful message to the user if [ $exit_status -eq 0 ]
Revision 2
2011-09-19 - Main.AdminUser
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
-- MartinDluhos - 2011-09-19
Line: 29 to 29
 

# ssh into the machine with the ip and kill the process with the pid username=`/usr/bin/whoami`
Changed:
<
<
/usr/bin/ssh $username@$ip /bin/kill -15 $pid exit_status=`$?`
>
>
exit_status=`/usr/bin/ssh "$username@$ip /bin/kill -15 $pid; echo $?" | tail -1`
  exit

# Print a helpful message to the user
 
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback