View
By section
As outline
Fully expanded
FAQ sections
Getting Started
To update main page
Conference Registration
Contact Information
Forums and FAQs
Group Mailing Lists
Editing group
Publications
Downloads
Bug handling
|
FAQ Welcome to the chess FAQ.
- Getting started on the website.
- This FAQ section covers matters of interest to new users of the website.
- How can I request a login account on this website?
- To request an account on this website, click on the login link on the navigation bar at the top of the page.
From there, click on the "request page" link in the
first line of text.
Or, simply click here.
If you
meet the requirements to get a login
and you would like to receive email about workshops,
be sure to request becoming a full member of the 'chess'
workgroup. For details, see
How do I register for a workshop?.
- Who can get a login?
- Chess website accounts are available to the Chess community,
which includes participants at Berkeley and affiliated
univerities, the personnel of sponsor companies, and
individuals collaborating with specific workgroups.
One may choose
to be either a guest or full member of the Chess workgroup. If you
are planning on coming to a Chess Review, then you probably
want to be a member, not a guest. The primary difference between Chess
workgroup guests and members is that members get more email about
workshops. Guests may register to attend workshops.
Individuals who are not members of sponsor companies or sponsored
universities but are collaborating with a workgroup are usually given
access only to the workgroup where they are collaborating, and are not
given guest or full membership in the Chess workgroup.
There is an annual membership fee associated with corporate membership in CHESS and access to the research of the Center, see
How does a corporation become a partner?
(Instructions for requesting an account)
- What about mailing lists and other UCB Chess specific information?
- To contact the Chess staff, see the
Contact Information faq.
Internal mailing lists and other UC Berkeley Chess specific
information can be found in the
chesslocal workgroup faq.
- Access denied by access control list.
- There have been reports of users getting a message from
their browsers like the following:
Forbidden
You were denied access because:
Access denied by access control list.
when attempting to access the account request page at
-
http://chess.eecs.berkeley.edu/login/?subpage=Request,
or other pages on this
site with URLs that begin with
"https://chess.eecs.berkeley.edu:4430".
The cause of this problem is under investigation.
If you encounter this problem, a possible workaround is to drop
the ":4430" from the URL.
For example,
-
http://chess.eecs.berkeley.edu/login/?subpage=Request
- I forgot my password, what do I do?
- If you forgot your password, please visit the
password resetting page.
Note: the password resetting page might say GSRC
instead of Chess because GSRC and Chess share a common
infrastructure.
A new random string will be emailed to you. When you get the new random
password, use it to log in, and then follow the
instructions in the email message to change your password.
What if I can't remember my username?
To find your username you may either search the Directory or you may perfom a search for your name in the Search section.
- The menus are missing/javascript is disabled?
- This website uses javascript to provide drop down menus.
Unfortunately, there is a security hole in Internet Explorer that can be exploited by having javascript enabled.
Microsoft suggests setting the security level to high
and then adding specific sites to the list of trusted
servers:
- In Internet Explorer, select Tools ->
Internet Options -> Security
- Click on Trusted Sites -> Sites
- "require server verification" should not
be checked
- Add the following hosts:
http://chess.eecs.berkeley.edu
http://embedded.eecs.berkeley.edu
http://www.gigascale.org
- How do I set up a proxy account so I can register a VIP?
- A typical situation is that an administrative assistant
wants to log in as a faculty member and register the
faculty member for a conference.
We call this proxy access, where the faculty member
grants proxy access to the administrative assistant.
The faculty member can do this by following the
Options
link at the top of the page and then
selecting
Profile
and then going to the bottom of the page to the
Select a Proxy for yourself section, entering
the website username of the administrator and clicking ok.
Then, when the administrative assistant logs in to
the website they can masquerade as the faculty member
by selecting the
Options choice at the top of the page
and then selecting Masquerade As
for that user.
Note that editing you profile and changing your
name to register someone will not work.
Conference registration is associated with a particular
website userid, so it is not possible to register multiple
people by changing the name on the account. If
you would like to register someone who does not have
an account, please first request an account for that
person and then request masquerade permission.
We apologize that the VIP registration process is
so complex, but after a certain amount of trial and error
we have found that it is best if each person has their
own account, there are no duplicate accounts and if
we use the masquerade system.
- What is the Privacy Policy of this website?
-
The privacy policy of this site is as follows.
If you have concerns about security
or privacy issues, send email to
webmaster at this site.
This website operates at the University of California,
Berkeley. For further information about UC Berkeley
website privacy policies, please see
e-Berkeley Privacy and confidentiality of information page.
- How does a corporation become a partner?
- The CHESS corporate partners are listed on the
Corporate Partners page.
The Chess Center is interested in forging meaningful relationships with industry and small business, please Membership in CHESS for
more details.
To become a corporate partner, a corporation must sign up
for one of levels listed below, sign a
contract and
pay the corresponding fee.
| Affiliate |
Not less than $75,000 per year |
Affiliate membership includes the following benefits:
- Invitation to periodic reviews of CHESS.
- Access to selected internal CHESS websites.
- Access to publications, reports and presentations by CHESS researchers.
- Access to students and faculty in CHESS.
- An annual research report of the activities of CHESS.
- Advance notice of intellectual property created by CHESS.
- Intellectual property access as defined in the agreement. (See Appendix C(1))
|
| Small or Minority-Owned Business |
Not less than $10,000 per year |
All of the benefits of an Affiliate |
| Partner |
Not less than $150,000 per year |
All of the benefits of an Affiliate, plus the following:
- Opportunity to nominate a member of the Industrial
Advisory Board of CHESS on an annual basis.
- Opportunity to place visitors, as Visiting Industrial
Fellows (VIF), at the University using the process identified in
section I. VIF appointments are subject to standard University of
California policies; see section I of the CHESS Membership Agreement
for further information.
- Company may request VIF status for additional people, and
CHESS will review and provide approval conditions.
- Selected early access to software developed by
CHESS. When possible, and for software projects within CHESS that use
networked version control systems (such as CVS) for collaborative
software development, early access to pre-release development versions
of the software is available.
- Intellectual property access as defined in the
agreement. (See Appendix C(2) of the CHESS Membership Agreement)
|
| Premium Partner |
Not less than $300,000 per year |
All of the benefits of a Partner, plus the following:
- Intellectual property access as defined in the agreement.
(See Appendix C(3) of the CHESS Membership Agreement)
- No more frequently than once per year, if requested by
the company a private research review meeting at the University or at
a mutually agreeable site. Travel and related expenses for the
participants, if any, will be covered by the individual Premium Partner.
|
If your corporation is interested in joining CHESS,
please email
Christopher Brooks(cxh (at) eecs dot berkeley dot edu).
- How does the main page get updated?
- The best way to update the main page is to send email to the website administrators.
The main page can be updated by key personnel who are administrators of the workgroup that corresponds to the site.
To become an administrator for the workgroup, send email to: www@site(www at chess eecs berkeley edu or www at gigascale org)
If you are a member of the administrator workgroup, then there will be a 'CVS update' link at the bottom of the page that will update the page and a 'Help' link that discusses how to check out the website.
- How do I check out my own tree with CVS?
- Once you have been granted administrative privileges in the chess workgroup, you can check out your own working copy of the chess site by doing:
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess co chesswww
For additional information about using CVS, see:
How do I edit pages in a group with the "CVS Authoring" option?
- Online Conference Registration
- This section is about the online
system for registering attendees for conferences
and workshops being held by Chess.
- How do I register for a conference?
- If you will be attending Chess conferences, then
you should
request a full membership in the 'chess' workgroup.
The chess workgroup email alias is used to invite people
to the conference, and usually the conference registration page requires full membership in the chess workgroup. Note
that being a guest of the chess workgroup will not
add you to the email alias, so please request full membership
in the chess workgroup.
- Contact Information and Directions
- Information about how to contact Chess
and directions to the Chess offices.
- How do I contact the Chess Project?
- The US Mail address for the Chess Project is:
Chess c/o EECS Dept.
337 Cory Hall, #1770
Berkeley, CA 94720-1770
Directions may be found at
http://chess.eecs.berkeley.edu/visitorinfo.htm
To contact the Chess staff, send email to
chessadmin â chess eecs berkeley edu
If you have questions about the website, send email to
webmgr â chess eecs berkeley edu
- Directions to Cory Hall
- The Chess Office is in 337 Cory Hall.
Directions may be found at
http://chess.eecs.berkeley.edu/visitorinfo.htm
- Questions about the forums and FAQs
- Questions and answers about forums and FAQs: what they are and how to use them.
- How do I use the FAQs and Forums?
- See the GSRC FAQ Section
Questions about the forums and FAQs.
- In which group should I put a FAQ?
- Exactly where to add a FAQ is a little tricky.
Below are some suggestions.
- How do I attach or upload a file to an article?
- There are two types of attachments:
- When an article is created, one can upload plain text
or html to be used as the body of the article.
- After the article is created, one can upload
one or more named
files of any type, for example, PowerPoint.
When an
article is added one can
select whether file uploads are allowed.
If you upload a file with the same name as an
already existing file, then the contents of the
file is replaced with the contents of the upload.
Note that there is currently a 8Mb (actually 8,388,608
bytes) limit to the
size of the attachment that can be uploaded.
(The size is set in /usr/local/lib/php.ini)
If you would like to share larger files, then you may
want to set up your workgroup to use CVS authoring.
For details, see:
How do I edit pages in a group with the "CVS Authoring" option?
Don't forget that if you are checking in binary files,
you should use cvs add -kb filename
so that CVS knows that the file is a binary file.
For information about sharing files via email, see:
Why doesn't the GSRC Mailman system handle large attachments?
- How do I link to a login request page that lists just my group?
- The login request page at
/login?subpage=Request
lists all the groups in which a visitor may request membership. The page /groupname/request
(for example http://trust.eecs.berkeley.edu/trust/request)
will lead to a page that has just one workgroup listed.
- How do I delete an article or task from a forum?
- To delete an article or task, go to
Reorder Contents
in the left hand column under Editing Command
and follow the instructions:
To delete an item, set its Section to -1. It won't actually be deleted, but it will disappear from all views of the Forum. Topics
cannot be deleted in this way; instead, just recycle them by changing the title and text.
- Shared FAQs
- FAQs may be shared between the CHESS, TRUST and Embedded
websites. During creation of a faq, one can either
add text to refer to the URL of a faq on one of
the other sites.
Customizing
A shared faq may be customized so that when the
faq is rendered on the website, it has website specific
information. The way this works is that
<siteConfig>keyword</siteConfig>
is treated specially, where the keyword
can refer to anything in the siteConfig
array from www/php/sitename/config.php
Below are some common values:
pubsFAQCopyrightsURL
-
<a href="<siteConfig>pubsFAQCopyrightsURL</siteConfig>">Copyrights and journals</a> shared faq.
The location of the
Copyrights and journals shared faq.
The reason we need this is that the location of the
shared faq varies between websites.
siteGroupName
- The name of the special website workgroup:
chess, embedded, or
trust. For example
The main group is:
<siteConfig>siteGroupName</siteConfig>
gets rendered as:
The main group is:
siteGroupName
obfuscatedWebMasterEmail
- The email address of the webmaster:
obfuscatedWebmasterEmail
For other values of siteConfig, you must be able to
log on to the webserver and look at files like
~www/php/chess.eecs.berkeley.edu/config.php.
- Managing Group Mailing Lists
- Information about how to manage group mailing lists.
- Every time a user sends email, I need to approve it. Why?
- The workgroup email lists are set up so that for a user
to send email, they must be sending email from the
email address that they have associated with their website
account. If someone in the workgroup sends email from
a different email address, then the workgroup admin needs
to approve the message by hand.
If you would like someone to be able to post from a different
email account, go to the admin page for the mailing
list, follow the
privacy link
and add them to the following section:
Addresses of members accepted for posting to this list
without implicit approval requirement.
(See "Restrict ... to list members" for whether or
not this is in addition to allowing posting by list members
- How do I create a mailing list with a non-standard name?
- Mailing lists with non-standard names can be supported,
but it is much better to create a separate workgroup
so that users can easily join up automatically.
Non-standard mailing lists will need to be administered
by a human (you).
The critical thing is to keep the email address of the list
off the web. In otherwords, never put the full email address of the
list on a web page or in a document that will appear on the web.
The safest thing is to refer to the list as yourlist at trust
As an alternative, at UC Berkeley,
CUSG
will set up a majordomo list for a small fee.
To have a mailing list created with a non-standard
name, send email to
webmaster
with the name of your mailing list.
Note: The name should not contain a dash or underscore.
The webmaster will
- Become root on andrews and do
cd /export/home/mailman_N
bin/newlist mailinglistname email-address-of-owner password
For example
cd /export/home/mailman_4
bin/newlist yourlist user@eecs.berkeley.edu foobar
- Mail will be sent to root who will run a script
to update
/etc/mail/aliases and
/etc/mail/virtualusers.
- Go to http://trust.eecs.berkeley.edu/mailman/admin/listname
- Edit
Base URL for Mailman web interface (Details)
and change it to
http://trust.eecs.berkeley.edu/mailman
- Why do I get messages about "Implicit destination" from the mail manager?
- MailMan tried fairly hard to trap mail that looks like spam. If a message comes in that doesn't look it is correctly configured, MailMan will hold it for approval, and send you (the list administrator) mail requesting that you approve or discard that message.
If you are forwarding mail from other lists or have aliases set up elsewhere to point to your list, then you will need to explicitly tell MailMan not to reject these messages. Go to the list administration page and select the "Privacy options" page. In the field labelled "Alias names (regexps) which qualify as explicit to or cc destination names", add the name of the forwarding list or alias that is sending to this list.
For example, if you have an alias foo-list@mymailserver set to point to mylist@truststc.org, then the configuration option for mylist needs to have "foo-list" added to it.
- Editing group pages, and other forms of rocket science
- Information on how to set up and edit group home pages, and other advanced features of the site.
- Some of my group's pages don't show up properly. Why?
- See the
GSRC FAQ
- How do I edit pages in a group with the CVS Authoring option?
- Based on text by John Reekie from the GSRC FAQ
Getting started quickly
Many of the workgroups have a CVS Repository associated with them. To update the pages, do the following
- Request a CVS account. Note that your login on source.eecs.berkeley.edu may be different than your login on the website. If you have a UCB EECS account, then
your login on source will be the same as your UCB EECS login. If your username on source is different than your
local account, then in the commands below you can use
username@source.eecs.berkeley.edu instead
of source.eecs.berkeley.edu, for example,
ptolemy@source.eecs.berkeley.edu
- When you get email back notifying you that your
account on source is created, use
ssh to
log in to source.eecs.berkeley.edu and run passwd to change your password.
- Install CVS and SSH. If you are using Windows, try
TortoiseCVS,
- If you are using the command line, be sure that the
CVS_RSH environment variable is set to ssh.
- To check out the CVS repository associated with
a workgroup, you need to know where the repository is located. All the repositories for the CHESS, Embedded
and TRUST sites are on
source.eecs.berkeley.edu.
- CHESS
:ext:source.eecs.berkeley.edu:/home/cvs_chess
- Embedded
:ext:source.eecs.berkeley.edu:/home/cvs_embedded
- TRUST
:ext:source.eecs.berkeley.edu:/home/cvs_trust
- If you are using a cvs command line client, then set
the
CVS_RSH environment variable to
ssh.
So, for example to check out the foo
website, on CHESS, the command lines would be
export CVS_RSH=ssh
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess co foo
Or, if your login on source.eecs.berkeley.edu was ptolemy, the command lines would be:
export CVS_RSH=ssh
cvs -d :ext:ptolemy@source.eecs.berkeley.edu:/home/cvs_chess co foo
- Make your changes to your local copy of the repository.
- Commit your changes by providing a useful message:
cd foo
cvs commit -m "message describing your changes"
- Go to the website and click
on "CVS Update" at the bottom of the page.
Detailed instructions about Checking Out a Repository
Concurrent Version System (CVS) is a version control system that allows multiple users to edit the same source tree.
We use CVS to manage the content of group web pages.
Subversion (SVN) is newer than CVS and is used to
manage some software packages. Your Unix account
on source.eecs.berkeley.edu can be used with both
CVS and SVN repositories.
Bear in mind that CVS authoring is generally
useful for software projects, in which case we assume
that you know the basics of CVS and can use SSH.
For further information about CVS, see the
GSRC CVS FAQ
- If you are a group administrator check that
your group has CVS authoring turned on by going
to your group pages and then clicking on the
Admin link and then Configure Group
link and verifying that CVS Module
and CVS Checkin are selected.
If these two choices are not selected, then
select them and hit the Change Group Configuration
button at the bottom. This will send email to
webmaster, who will then set up your cvs repository
and send email back to you. While you are waiting,
you can proceed with the steps below.
- If you don't yet have a CVS account on
source.eecs.berkeley.edu, get one.
You can
request a CVS account.
- If ssh and cvs are not yet installed, then
install the SSH client and CVS
- Make sure that the CVS_RSH environment variable is set to
ssh.
To check under Windows, start up a Bash shell
(Start->Programs->Cygnus Solutions->Cygwin Bash Shell)
and type
echo $CVS_RSH. If it is not set, then
set it using Start->Settings->Control Panel->System->Advanced->Environment Variables
CVS_RSH should be added and set to ssh.
You may want to check that your path has been set
to include Cygwin, which is located at c:cygwinbin
To check under Unix, start a shell and type echo $CVS_RSH.
If CVS_RSH is not set, then edit your shell startup files to
set it automatically. If you run C-shell (csh), or some variant
like tcsh, edit ~/.cshrc and add
setenv CVS_RSH ssh
If you run the Bourne shell (sh) or some variant like bash,
edit ~/.profile and add
export CVS_RSH=ssh
- Create a file in your home directory called
.cvsrc that contains:
update -P -d
This is necessary so that when you run
cvs update, then the -P
and -d flags are automatically appended.
cvs update -P -d will prune any directories
that contain no files and create any new directories
that someone else has checked in.
If you do not create a ~/.cvsrc file,
then you will need to run
cvs update -P -d instead of cvs update
- Once you have received email stating that your cvs account is setup, log
on to the cvs server with
ssh source:
ssh source.eecs.berkeley.edu
If your source login is different from your local login then you use username@source.eecs.berkeley.edu
ssh username@source.eecs.berkeley.edu
If you have a UC Berkeley EECS computer account, then
your login on source should be the same as your
UC Berkeley EECS login. If you don't have a UCB EECS
computer account, then your login is probably 8
characters or less and is your first initial followed
by your name. If you have questions, respond to the
email that you received when you got your password.
Once successfully logged in change your password with the passwd
command to something more reasonable
claudius@maury 67% ssh ptolemy@source.eecs.berkeley.edu
ptolemy@source's password:
Last login: Fri Aug 27 17:50:34 1999 from maury.eecs.berke^M
No mail.
$ passwd
passwd: Changing password for ptolemy
Enter login password:
New password:
Re-enter new password:
passwd (SYSTEM): passwd successfully changed for ptolemy
$ exit
Connection to source closed.
claudius@maury 68%
-
- To check out the CVS repository associated with
a workgroup, you need to know where the repository is located. All the repositories for the CHESS, Embedded
and TRUST sites are on
source.eecs.berkeley.edu.
- CHESS
:ext:source.eecs.berkeley.edu:/home/cvs_chess
- Embedded
:ext:source.eecs.berkeley.edu:/home/cvs_embedded
- TRUST
:ext:source.eecs.berkeley.edu:/home/cvs_trust
So, for example to check out the foo
website, on CHESS, the command line would be
export CVS_RSH=ssh
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess co foo
If your username on source is different than your local username:
export CVS_RSH=ssh
cvs -d :ext:username@source.eecs.berkeley.edu:/home/cvs_chess co foo
- The CVS repository for each workgroup has
a
web subdirectory that contains the website.
There may also be adjacent directories that contain software
projects.
To change the website,
cd into the foo/web directory
and edit a file
- Commit your changes with
cvs commit -m "message about your change" fileyouedited
You will then be prompted for your password, and
the change will be committed.
- Go to a page in that workspace. You will see an "CVS Update"
link in the toolbar at the bottom of the page.
Click on it.
- Press on the "Go back" link and make sure that the
pages are what you expect.
Common Problems
Can't get the initial download
- Make sure you have the right username and password.
Use
ssh username@source.eecs.berkeley.edu to verify you can connect
- Maybe the
CVS_RSH variable is not set
to ssh. Try:
echo $CVS_RSH
you should see
bash-3.00$ echo $CVS_RSH
ssh
bash-3.00$
- Try
ssh username@source.eecs.berkeley.edu cvs --version
You should see something like
bash-3.00$ ssh ptolemy@source.eecs.berkeley.edu cvs --version
password: XXXXXX
Concurrent Versions System (CVS) 1.11.22 (client/server)
Copyright (C) 2006 Free Software Foundation, Inc.
Senior active maintainers include Larry Jones, Derek R. Price,
and Mark D. Baushke. Please see the AUTHORS and README files from the CVS
distribution kit for a complete list of contributors and copyrights.
CVS may be copied only under the terms of the GNU General Public License,
a copy of which can be found with the CVS distribution kit.
Specify the --help option for further information about CVS
bash-3.00$
If you don't see that results, but you can log in,
then there is a problem with your account on source
- How do I get CVS access?
- Many of the workgroups on this website
have a corresponding cvs repository on
source.eecs.berkeley.edu. There are also a few
cvs repositories not associated with workgroups.
How to get access to a CVS repository
- Request a website account in chess:
http://chess.eecs.berkeley.edu/chess/request
- Request a cvs account:
http://chess.eecs.berkeley.edu/options
Note that two separate accounts are required,
a workgroup account and a cvs account.
If you have a UC Berkeley EECS account, then
your user name on source.eecs.berkeley.edu
will be the same as your EECS account name.
- To check it out under bash, use:
export CVS_RSH=ssh
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess co yourrepositoryname
Resources
- My new group is not listed
- Note that you need to enable your workgroup
by going to the
admin/config page of
your workgroup. You may have to type the URL in to
get to the page. For example, if your workgroup named
foo is on CHESS:
http://chess.eecs.berkeley.edu/foo/admin/config
See also this note:
Some of my group's pages don't show up properly. Why?
John Reekie, 17 Sep 1999
Because the gigascale server takes pages
that you authored and "wraps" them in its own
HTML to generate the GSRC header, footer, and on
on, authored pages have some (reasonable) restrictions
on what they can contain.
Links
When you are authoring your own pages, you are better
off using relative links whereever you can. Relative
links allow a copy of your pages to be viewed from
anywhere.
If you must use an absolute link, consider using
< a href="/workgroup/myfile.html">myfile.html</a>
instead of
< a href="http://www.gigascale.org/workgroup/myfile.html">myfile.html</a>
HTML links from forum pages to the main workgroup
pages should take into account that the main workgroup
pages are can be found in /workgroup>/,
whereas the forum is in /workgroup>/forum.
Detection
The GSRC Website uses the
Htdig search
engine. The search engine is run each night, and a log
file is generated. We run a short script over that
log file and send email about broken links to
webmgr at serverObfuscatedEmailName.
The webmasters then either fix the links themselves,
or send email to the authors.
If your pages are publicly readable, you can
use one of the services from the
Yahoo HTML Validation and Checkers Page
Most of the services cost money, and most of them
can only read pages that are accessible to the public, but
some services provide a free sample run.
(The GSRC website has been specially modified to allow
out htdig process to be able
to index non-public pages).
If you have a remote subsite, see also
the remote subsite faq.
- How do I customize my margins and footers
- The CHESS/TRUST/Embedded server provides a facility that
allows the pages that you author and that appear
in your workspace to be customized. To customize
your pages, you need to:
- Turn on the "Fancy HTML" option in your group's
configuration options.
- Create a file called "toc.html" in the root
directory of your HTML files. (That is, in the same
directory as the index.html file you see when you
go to
http://gigascale.eecs.berkeley.edu/groupname.)
The toc.html file can contain anything you
want. However, the server parses it looking for
pairs of HTML comments that look like this:
<!--margin-->
My margin text
<!--/margin-->
If the parser sees a block like this, it extracts
the text between the comments and places it in
the left-hand margin of the displayed page, instead
of the links that it would normally generate.
You can also append text to the existing
auto-generated margin text by inserting the
"+" sign, as follows:
<!--+margin-->
Text appended to margin
<!--/margin-->
Several fields can be specified in this way:
- margin: text is inserted or appended
to the left hand margin that appears on every page.
- footer: text is inserted or appended
to the footer that appears on every page.
- header: text is inserted or appended
to the header links that appear on every page.
In addition, a block named options can be used
to specify additional formatting and display options.
the syntax is
<!--options-->
name1=value1
name2=value2
<!--/margin-->
Currently the following options are supported:
- margincolor: The background color of the left-hand margin.
Once you have a custom setup for your site, you
may wish to further customize subdirectories
in your site. You can do this simply by placing
another "toc.html" in sub-directories that you
wish to customize. Note that you will need to duplicate
all fields in your top-level file -- for example,
if you put a footer in your top-level toc.html, you will have to
put one in the sub-directory's toc.html too.
Note also that toc.html is not "inherited." If
/diva has a toc.html, and
/diva/x has a toc.html, but /diva/x/y does not, then
files in /diva/x/y will use the toc.html from /diva, not
the one from /diva/x.
- How do I change from gigasource to source?
- In August, 2005, we moved the Chess, Embedded
and Trust sites from
gigasource.eecs.berkeley.edu
to source.eecs.berkeley.edu.
If your workgroup on Chess, Embedded or Trust
uses CVS editing, then you will need to adjust your
local CVS repository. There are several ways to do
this:
- The easiest way is to remove your old tree and
check out a new one:
- Chess workgroups
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess co yourgroup
- Embedded workgroups
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_embedded co yourgroup
Note that the embedded metroplis and mescal workgroups are still
using the gigasource repository.
- Trust workgroups
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_trust co yourgroup
- You can try using this script to read the
CVS/Root files and substitute
source for gigasource
#!/bin/sh
echo "Running find, this could take a minute"
cvsRootFiles=/tmp/ptcvsfix.$$
/usr/bin/find . -xdev -name Root -print > $cvsRootFiles
# Create a script
cvsRootScript=/tmp/ptcvsfix$$.sh
cat <<EOF *gt; $cvsRootScript
#!/bin/sh
for file in \$@
do
echo \$file
#sed 's/gigasource/source/g' \$file > ptcvsfix.tmp
echo ":ext:source.eecs.berkeley.edu:/home/cvs" > ptcvsfix.tmp
mv ptcvsfix.tmp \$file
done
EOF
chmod a+x $cvsRootScript
cat $cvsRootFiles | xargs $cvsRootScript
rm -f $cvsRootFiles $cvsRootScript
Note that this script does not work with files that
have spaces in the name.
-
Jonathan Sprinkle wrote:
I used this script in visual studio 6 to do my CVS\Root mods:
- Use Visual Studio to find in files "gigasource.eecs" in file "Root" in
your c:\ (or appropriate) drive
- Create a quickmacro with the below text by editing the file
TEMPORARYQUICKMACRO.DSM in
C:\Program Files\Microsoft Visual Studio\Common\MSDev98\Macros (or
equivalent)
with the below text.
- Run the below macro by Cntl-Shft-P until all files have been processed (a
dialog prompt will confirm that no more open files remain)
'---------------------------------------------------------------------------
'FILE DESCRIPTION: MSDev temporary Quick Macro - do not explicitly load this file from tools.customize
'---------------------------------------------------------------------------
Sub TemporaryQuickMacro
'DESCRIPTION:Temporarily recorded Quick Macro
'Begin Recording
ActiveDocument.ReplaceText "gigasource.eecs", "source.eecs"
ActiveDocument.Save
ActiveWindow.Close dsSaveChangesPrompt
ExecuteCommand "GoToNextErrorTag"
'End Recording
- If you are a real rocket scientist, then you
can try using the cvs
release command.
- Adding and updating publications
- Information about adding and updating publications.
- How do I add a publication to the publications database?
- Based on text by John Reekie from the GSRC website.
The publications database
allows anyone with a Member account on this site to
add publications to the database and upload electronic
versions of those publications.
To add a publication, first make sure you are
logged in. Then go to the
publications database
and click on the link at the left of the page
labelled Add publication.
The first screen you see allows you to choose the
publication type -- for example, journal article,
conference paper, and so on. (The publication types
are essential copied straight from BibTeX.)
On this page, you can also choose to restrict access to your
publication to website members and guests
(people with a login on this site). Finally, you
can associate the publication with a work-group
on this site, thereby allowing searches to be made
on publications associated with a group.
If you can't decide on a group, then select either
siteGroupName or no group at all. You can change
groups later, but each publication can only be in one group.
Press the Continue button to go to the next screen.
(Any of the information on this page can be changed later.)
The next screen shows the fields that can be filled in
for the publication type you have chosen. (Again, these
are taken straight from BibTeX.) Fill in as many
fields as you can, noting that fields marked with
an asterisk (*) are required and fields not so marked are
optional.
Press the Add new publication button to continue.
(Again, you will be able to change any of this information
later.)
You will now see a screen that allows you to upload
electronic versions of the publication.
The format for publications is PDF.
Please do not upload PDF files where the copyright is held by an outside entity (such as ACM, IEEE, Springer, or Elsevier), unless your copyright agreement specifically permits you to post the PDF on a server.
See Copyrights and journals.
To upload a file, click on the Browse... button
and select the file. If you wish, add some additional
text in the Additional comment field - this text
will appear in parentheses next to the download link
for the file you are uploading. Press Upload file
to upload the file.
When you have no more files to upload, press
the Return to listing button to view your
publication's page!
(For instructions on how to modify a publication
record, see this question.)
- How do I modify a publication?
- Based on text by John Reekie from the GSRC website.
If you are logged in to
the site, use the
publications search page
to find the publication you wish to edit.
If you have permissions to modify the publication,
you will see several links on the left-hand margin:
- Edit publication allows you to change the
fields associated with the publication -- the author, title,
journal, and so on.
- Change type allows you to change the
publication type. You can also use this page to
restrict access to members of this website or associate the
publication with a group.
- Upload files allows you to upload
additional electronic version of this publication.
(For more detailed instructions, see the question
on adding publications
-- the screens are essentially the same.)
You will be able to modify a publication record
and upload files if either
- You are the person who originally created
the publication record, or
- The publication is associated with a
siteGroupName work-group
or SIG, and you are a member of that work-group or SIG.
If neither of these is the case, go to the bottom
of the page for the publication, where you will
see something like "Posted by Fred Nerfs on September
6th, 2005." Then send email to Fred Nerfs.
- How do I remove a publication
The design of the publications facility does not
permit regular users to delete publications. This is
a design choice that was implemented because once something
is published, it should remain in the record of publications.
If you would like a publication deleted because
it was accidentally entered twice, please send email to
obfuscatedWebmasterEmail.
- How does the publications search work?
- The publications search has a "keywords" text field.
When the search button is clicked, the keywords text field
is split in to individual words and then the publication database field(s)
are searched for strings that match each individual keyword.
For example, if the keywords text field is
Foo Bar, then we search for any field
that contains Foo or Bar.
For example, BifFooBang would match
the Foo word in the keywords text field.
The % character can be used as a wildcard
character, for example Fo%o will
match Foo, Fooo and
FooBaro. Note that the search mechanism
automatically prepends and appends % characters for us,
so there is no point in searching for
%Foo% - the leading and trailing %
are always added for us.
The publications search page has an "In" selection
entry that has the fields that are to be searched.
If the (Anywhere) choice is selected,
then all the fields are searched.
- Uploading copyrighted work from journals
-
When uploading files, be sure that you have the permission
of the all copyright holders to do so. For example many
journals permit the author to have copies of an article on
their website, but have restrictions about other placing
the article on other websites.
-
ACM Copyright Policy.
-
IEEE Copyright Policy.
- Springer LCNS Copyright Form
In July, 2009, the Springer LCNS form said:
The Author may self-archive an author-created version of his Contribution on his own website and his institution's repository, including his final version; however he may not use the publisher's PDF version which is posted on www.springerlink.com, LNCS
online. Furthermore, the author may only post his version provided acknowledgement is given to the original source of publication
and a link is inserted to the published article on Springer-Verlag's website. The link must be accompanied by the following text:
"The original publication is available at www.springerlink.com"."
When making an entry for a final published version of a paper, rather than uploading the publisher's PDF, you should
include a link to the publisher's version.
As indicated by the above Springer copyright notice, it is
convention in academia that a pre-publication draft version
can be posted on our server. The best way to do this is to make an EECS memo and include a link to the HTML page for that memo. If you instead directly upload a PDF, make sure the PDF includes full citation information. E.g., it could say at the top:
Pre-publication version dated June 30, 2009,
to appear in the IEEE Int. Conference on Incremental Research,
Sacramento, CA, June 30, 2022.
Also, it must include full author names and a title, of course.
If you have an EECS memo for a pre-publication version, and a different final version for publication, these are two separate publications. They should have two separate entries, and the entries should be cross-linked. E.g., on the page for the final version, it could
include:
<a href="LINK HERE to HTML">published version</a>
and the pre-publication version could include:
See also
<a href="LINK HERE to HTML">pre-publication version</a>
Ideally, the titles differ, at least a little. E.g., the memo version could have the title "Preliminary Results in Incremental Research" where the final version has the title "Results in Incremental Research." It is not essential that the titles differ, however.
- Managing presentations given at a seminar
- One can use the publications database to manage presentations
for a seminar:
- After the seminar, click on the "publications" link
and then select
Add Publications
- Fill out the add publication form. Often one
can get the abstract from the mailing list for the
seminar
- Upload the presentation.
- The presentation will be available on the website.
Note the link to the page and then edit the seminar
and add that link.
For example, Sanjit Seshia's presentation is at
http://chess.eecs.berkeley.edu/pubs/3.html.
Thus,
http://chess.eecs.berkeley.edu/seminar.htm
would be edited and a link to
http://chess.eecs.berkeley.edu/pubs/3.html.
would be added
- Downloads
- Information about Downloads
- How do I download software produced by Chess?
- To download software produced by the Chess project, see
the Chess Downloads page.
- How do I access vendor software like Matlab and National Instruments?
- If you are a Chess Researcher, then to access Matlab, National Instruments and possibly other commercial software, see
Chesslocal Day to Day Operation?
- Bug handling
- Details about the bugzilla bug handling facility.
- How does bugzilla work?
- We have an installation of Bugzilla that is shared between the different websites.
To create a new bug or update an existing bug, you must have a website account.
Certain bugs are restricted to members of a particular website workgroup. To add a group to bugzilla, send email to the web manager.
Further details about bugzilla may be found at the
Gigascale Bugzilla page.
- How does bugzilla work?
- We have an installation of Bugzilla that is shared between the different websites.
To create a new bug or update an existing bug, you must have a website account.
Certain bugs are restricted to members of a particular website workgroup. To add a group to bugzilla, send email to the web manager.
If you would like to track bugs by group, but have the bug visible, then use the Bugzilla keyword
facility and add the group name there.
Further details about bugzilla may be found at the
Gigascale Bugzilla page.
|
