mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-21 20:38:45 +00:00
c03295dcb6
to /var/db/setiathome, which is where our setiathome port puts them
if run from ${PREFIX}/etc/rc.d/ .
Requested by: maintainer
46 lines
2.0 KiB
Plaintext
46 lines
2.0 KiB
Plaintext
--- tkseti Wed Jun 30 17:43:09 1999
|
|
+++ tkseti Wed Jun 30 17:43:19 1999
|
|
@@ -1,6 +1,6 @@
|
|
#!/bin/sh
|
|
# the next line restarts using wish \
|
|
-exec wish "$0" ${1+"$@"}
|
|
+exec wish8.0 "$0" ${1+"$@"}
|
|
#############################################################################
|
|
# Visual Tcl v1.20 Project
|
|
#
|
|
@@ -160,11 +160,11 @@
|
|
TkSETI can be started if the client is already running, or it can start
|
|
the client manually or automatically for you. This is explained in the
|
|
Setup section that follows.
|
|
-
|
|
- TkSETI will look for the client files in the directory ~/setiathome. If
|
|
- you've run the client elsewhere, or run more than one client, just
|
|
- specify the setiathome client directory on the tkseti command line. For
|
|
- example:
|
|
+
|
|
+ TkSETI will look for the client files in the directory
|
|
+ /var/db/setiathome . If you've run the client elsewhere, or run more
|
|
+ than one client, just specify the setiathome client directory on the
|
|
+ tkseti command line. For example:
|
|
|
|
tkseti ~/setiathome
|
|
|
|
@@ -494,7 +494,7 @@
|
|
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
}
|
|
|
|
- set seti(usage) " TkSETI version $seti(tksetiVersion) by Rick Macdonald <rickm@vsl.com>\n\nYou are running [info nameofexecutable] patchlevel [info patchlevel].\n\nUsage: tkseti \[--help\] \[user_setiathome_directory\]\n user_setiathome_directory defaults to ~/setiathome"
|
|
+ set seti(usage) " TkSETI version $seti(tksetiVersion) by Rick Macdonald <rickm@vsl.com>\n\nYou are running [info nameofexecutable] patchlevel [info patchlevel].\n\nUsage: tkseti \[--help\] \[user_setiathome_directory\]\n user_setiathome_directory defaults to /var/db/setiathome"
|
|
|
|
if {[lsearch $argv "--help"] >= 0} {
|
|
puts \n$seti(usage)
|
|
@@ -509,7 +509,7 @@
|
|
option add *highlightBackground grey85 user
|
|
|
|
if {$argc == 0} {
|
|
- set seti(setidir) [glob ~]/setiathome
|
|
+ set seti(setidir) /var/db/setiathome
|
|
} {
|
|
set seti(setidir) [lindex $argv 0]
|
|
}
|