Difference between revisions of "Misc Questions"

From CS Support
Jump to: navigation, search
(added phone contact info)
(In Linux)
(34 intermediate revisions by 3 users not shown)
Line 3: Line 3:
 
== How do I connect to MySQL? ==
 
== How do I connect to MySQL? ==
  
Before you can access your MySQL database, you must request an account by sending an email to help@cis.ksu.edu.
+
Before you can access your MySQL database, you must request an account by sending an email to help@cs.ksu.edu.
  
 
Once your account has been created, you may connect using the instructions below.
 
Once your account has been created, you may connect using the instructions below.
Line 15: Line 15:
 
to the MySQL server by typing:
 
to the MySQL server by typing:
  
<code>
+
  mysql -p -h mysql.cs.ksu.edu
  mysql -p -h mysql.cis.ksu.edu
 
</code>
 
  
 
and then enter your MySQL password when prompted.
 
and then enter your MySQL password when prompted.
Line 24: Line 22:
  
 
To administer your database through a web interface, you can use
 
To administer your database through a web interface, you can use
[https://phpmyadmin.cis.ksu.edu phpMyAdmin] from any Internet-connected computer.
+
[https://phpmyadmin.cs.ksu.edu phpMyAdmin] from any Internet-connected computer.
  
 
=== How do I change my MySQL password? ===
 
=== How do I change my MySQL password? ===
Line 30: Line 28:
  
 
* Connect using the command above.  Once connected, type the following at the prompt
 
* Connect using the command above.  Once connected, type the following at the prompt
*:<code>
+
*:
 
  set password = password("yournewpassword");
 
  set password = password("yournewpassword");
</code>
 
 
Where <code>yournewpassword</code> is your new password.
 
Where <code>yournewpassword</code> is your new password.
* Or you can change your password in [https://phpmyadmin.cis.ksu.edu phpmyadmin].
+
* Or you can change your password in [https://phpmyadmin.cs.ksu.edu phpmyadmin].
  
 
=== How do I reset my MySQL password? ===
 
=== How do I reset my MySQL password? ===
  
Send an email to support@cis.ksu.edu or stop by the sysadmin offices (N116, N119) during regular business hours.
+
Send an email to support@cs.ksu.edu or stop by the sysadmin offices (Engineering Hall 2217 or 2218) during regular business hours.
  
 
=== General Connection Information ===
 
=== General Connection Information ===
Line 44: Line 41:
 
You may find the following information helpful:
 
You may find the following information helpful:
  
<code>
+
  MySQL Host: mysql.cs.ksu.edu
  MySQL Host: mysql.cis.ksu.edu
 
 
  MySQL Port: 3306
 
  MySQL Port: 3306
</code>
 
  
 
A copy of the [http://dev.mysql.com/doc/refman/5.5/en/index.html MySQL 5.5 documentation] can be found at the MySQL homepage.
 
A copy of the [http://dev.mysql.com/doc/refman/5.5/en/index.html MySQL 5.5 documentation] can be found at the MySQL homepage.
  
If you have any other questions or problems, please send a [[mailto:help@cis.ksu.edu request]] to the system administrators.
+
If you have any other questions or problems, please send a [[mailto:help@cs.ksu.edu request]] to the system administrators.
 +
<div id="PgSQL"></div>
 +
 
 +
== How do I connect to PostgreSQL? ==
 +
 
 +
Before you can access your PostgreSQL database, you must request an account by sending an email to help@cs.ksu.edu.
 +
 
 +
Once your account has been provisioned, you may use your CS username and password to connect using the instructions below.
 +
 
 +
You can connect to the PostgreSQL server from any host on the campus network.  You will not be able to connect to it from off-campus unless you use the KSU VPN client, which you can [http://www.k-state.edu/its/security/vpn/ download here].  '''''Campus wifi users:''''' you will not be able to connect if you are on the "KSU Guest" wifi network.  If you are on wifi, you must be using the "KSU Wireless" network.
 +
 
 +
=== Connecting from Linux ===
 +
 
 +
To connect from Linux, you must first logon to one of the lab machines
 +
(or you may connect from your own laptop). Once logged in, you can connect
 +
to the PostgreSQL server by typing:
 +
 
 +
psql -p 5432 -h postgresql.cs.ksu.edu
 +
 
 +
and then enter your password when prompted.
 +
 
 +
=== Using phpPGAdmin ===
 +
 
 +
To administer your database through a web interface, you can use
 +
[https://phppgadmin.cs.ksu.edu phpPGAdmin] from any Internet-connected computer.
 +
 
 +
=== General Connection Information ===
 +
 
 +
You may find the following information helpful:
 +
 
 +
MySQL Host: postgresql.cs.ksu.edu
 +
MySQL Port: 5432
 +
 
 +
If you have any other questions or problems, please send a [[mailto:help@cs.ksu.edu request]] to the system administrators.
  
 
== What happens when I leave?  How long do I keep my account? ==
 
== What happens when I leave?  How long do I keep my account? ==
Line 59: Line 87:
 
== Can you guys help me with my homework? ==
 
== Can you guys help me with my homework? ==
  
We want to make our policy on helping students clear. The CIS support staff is
+
We want to make our policy on helping students clear. The CS support staff is
 
responsible for making sure the computing systems, networks, services, and
 
responsible for making sure the computing systems, networks, services, and
 
programs on those systems function. We will help anyone who has a problem using
 
programs on those systems function. We will help anyone who has a problem using
Line 66: Line 94:
 
However, we draw the line at looking at any source code or server or program
 
However, we draw the line at looking at any source code or server or program
 
configurations students themselves have installed. This is due to the fact that
 
configurations students themselves have installed. This is due to the fact that
CIS faculty are frequently asking students to configure and manipulate software
+
CS faculty are frequently asking students to configure and manipulate software
on their own as part of homework assignments. As such the CIS support staff
+
on their own as part of homework assignments. As such the CS support staff
 
explicitly do not examine source code or other issues for students.
 
explicitly do not examine source code or other issues for students.
  
If you are convinced that this problem is indeed an issue related to a CIS
+
If you are convinced that this problem is indeed an issue related to a CS
 
systems bug or misconfiguration, you may contact your professor and ask for
 
systems bug or misconfiguration, you may contact your professor and ask for
 
assistance. At the specific request of faculty members we will look into source
 
assistance. At the specific request of faculty members we will look into source
Line 86: Line 114:
 
If one of the printers runs out of paper, you just need to [[Getting_Help#In_Person|contact the system administrators]]. We get paper and load the printers on request.
 
If one of the printers runs out of paper, you just need to [[Getting_Help#In_Person|contact the system administrators]]. We get paper and load the printers on request.
  
Alternately, if no one is available at those locations you may either email [mailto:support@cis.ksu.edu support@cis.ksu.edu] or talk to one of the staff members in the main CIS office, Nichols 234.
+
Alternately, if no one is available at those locations you may either email [mailto:support@cs.ksu.edu support@cs.ksu.edu] or talk to one of the staff members in the main CS office, Nichols 234.
  
 
== How do I use VMWare in the Computing Labs ==
 
== How do I use VMWare in the Computing Labs ==
Line 94: Line 122:
 
== How do I install JPF (Java PathFinder)? ==
 
== How do I install JPF (Java PathFinder)? ==
 
=== Initial Steps ===
 
=== Initial Steps ===
The JPF install script may be run from cislinux.cis.ksu.edu or any CIS Linux lab machine.  Windows users must ssh into cislinux using Putty or another ssh client.
+
The JPF install script may be run from cislinux.cs.ksu.edu or any CS Linux lab machine.  Windows users must ssh into cslinux using Putty or another ssh client.
 
   
 
   
Once you have completed the installation from any Linux machine, it will work on any other CIS Linux machine.
+
Once you have completed the installation from any Linux machine, it will work on any other CS Linux machine.
  
 
<ol>
 
<ol>
<li>Log into cislinux.cis.ksu.edu (or any CIS Linux lab machine).  All following command should be run in a terminal session or terminal window.</li>
+
<li>Log into cslinux.cs.ksu.edu (or any CS Linux lab machine).  All following command should be run in a terminal session or terminal window.</li>
 
<li>Make sure the Sun JDK is in your system path.  You should see something like this:</li>
 
<li>Make sure the Sun JDK is in your system path.  You should see something like this:</li>
<code>
 
 
  $ set | grep JAVA_HOME
 
  $ set | grep JAVA_HOME
 
  JAVA_HOME=/usr/lib/jvm/default-java
 
  JAVA_HOME=/usr/lib/jvm/default-java
 
  $ set | grep PATH
 
  $ set | grep PATH
 
  PATH=/usr/bin:/usr/local/bin:/usr/bin:/bin:/usr/games:/usr/lib/jvm/default-java
 
  PATH=/usr/bin:/usr/local/bin:/usr/bin:/bin:/usr/games:/usr/lib/jvm/default-java
</code>
 
  
 
<code>JAVA_HOME</code> could also be something like <code>/usr/lib/jvm/java-6-sun</code>. If <code>JAVA_HOME</code> is not set and not also in <code>PATH</code>, you will need to add the following to your <code>~/.profile</code>:
 
<code>JAVA_HOME</code> could also be something like <code>/usr/lib/jvm/java-6-sun</code>. If <code>JAVA_HOME</code> is not set and not also in <code>PATH</code>, you will need to add the following to your <code>~/.profile</code>:
<code>
 
 
  export JAVA_HOME=/usr/lib/jvm/default-java
 
  export JAVA_HOME=/usr/lib/jvm/default-java
 
  export PATH=$PATH:$JAVA_HOME
 
  export PATH=$PATH:$JAVA_HOME
</code>
 
  
 
Logout and back in to load the new configuration, or just reload it for your current session
 
Logout and back in to load the new configuration, or just reload it for your current session
<code>
 
 
  $ source ~/.profile
 
  $ source ~/.profile
</code>
+
 
 
<li>Now you can run the install script which will place the JPF files in your home directory and build them:</li>
 
<li>Now you can run the install script which will place the JPF files in your home directory and build them:</li>
<code>
 
 
  $ /common/public/bin/install_jpf.sh
 
  $ /common/public/bin/install_jpf.sh
</code>
+
 
 
</ol>
 
</ol>
 
You will now have a built copy of JPF in <code>~/JPF2</code>.
 
You will now have a built copy of JPF in <code>~/JPF2</code>.
Line 130: Line 152:
  
 
<code>compile.sh</code>
 
<code>compile.sh</code>
<code>
 
 
  JPF=$HOME/JPF2/
 
  JPF=$HOME/JPF2/
 
  CLASSPATH=.:$JPF/jpf-core/build/jpf/
 
  CLASSPATH=.:$JPF/jpf-core/build/jpf/
Line 136: Line 157:
 
  CLASSPATH=$CLASSPATH:$JPF/jpf-core/src/main/
 
  CLASSPATH=$CLASSPATH:$JPF/jpf-core/src/main/
 
  javac -cp $CLASSPATH $1
 
  javac -cp $CLASSPATH $1
</code>
 
  
 
<code>run.sh</code>
 
<code>run.sh</code>
<code>
 
 
  JPF=$HOME/JPF2/
 
  JPF=$HOME/JPF2/
 
  CLASSPATH=.:$JPF/jpf-core/build/*
 
  CLASSPATH=.:$JPF/jpf-core/build/*
Line 151: Line 170:
 
  ARGS=$ARGS" +deadlock.format=essential"
 
  ARGS=$ARGS" +deadlock.format=essential"
 
  java -Xmx512m -jar $JPF/jpf-core/build/RunJPF.jar +classpath=$CLASSPATH  $ARGS $1
 
  java -Xmx512m -jar $JPF/jpf-core/build/RunJPF.jar +classpath=$CLASSPATH  $ARGS $1
</code>
 
  
 
Place them somewhere in your homedir (in your JPF2 directory is probably a good place) and make them executable
 
Place them somewhere in your homedir (in your JPF2 directory is probably a good place) and make them executable
<code>
 
 
  $ chmod +x compile.sh
 
  $ chmod +x compile.sh
 
  $ chmod +x run.sh
 
  $ chmod +x run.sh
</code>
 
  
 
See your instructor for how to use these scripts.
 
See your instructor for how to use these scripts.
Line 168: Line 184:
  
 
<div id="PC2"></div>
 
<div id="PC2"></div>
 +
 
== How do I use PC^2 for the ACM Programming Contest? ==
 
== How do I use PC^2 for the ACM Programming Contest? ==
 
PC^2^ is used for submitting solutions and scoring for the ACM Programming Contest.  You may either use a local fat client (pc2team) or the web client (EWTeam).
 
PC^2^ is used for submitting solutions and scoring for the ACM Programming Contest.  You may either use a local fat client (pc2team) or the web client (EWTeam).
Line 178: Line 195:
  
 
==== Previously Installed Copy ====
 
==== Previously Installed Copy ====
If you used PC^2^ for previous contests, you must remove the old directory before installing the current one.  Look for a "pc2" directory on your U: drive or in your home directory and delete it before continuing.
+
'''''IMPORTANT NOTE:''''' If you used PC^2 for previous contests, '''''you must remove the old directory before installing the current one'''''.  Look for a "pc2" directory on your U: drive or in your home directory and delete it before continuing.
  
 
==== Installation ====
 
==== Installation ====
Line 193: Line 210:
 
<li>Open a Command Prompt window (click Start->Programs->Accessories->Command Prompt, or Start->Run and type <code>cmd</code>)</li>
 
<li>Open a Command Prompt window (click Start->Programs->Accessories->Command Prompt, or Start->Run and type <code>cmd</code>)</li>
 
<li>Change to your home files (U: drive) and enter the pc2 directory</li>
 
<li>Change to your home files (U: drive) and enter the pc2 directory</li>
<code>
 
 
  > U:
 
  > U:
 
  > cd pc2</code>
 
  > cd pc2</code>
 
<li>Start the PC2 client</li>
 
<li>Start the PC2 client</li>
<code>
 
 
  U:\pc2>bin\pc2team</code>
 
  U:\pc2>bin\pc2team</code>
 
</ol>
 
</ol>
Line 207: Line 222:
 
<li>Open a terminal window</li>
 
<li>Open a terminal window</li>
 
<li>Enter the pc2 directory in your home directory</li>
 
<li>Enter the pc2 directory in your home directory</li>
<code>
 
 
  $ cd $HOME/pc2</code>
 
  $ cd $HOME/pc2</code>
 
<li>Start the PC^2 client</li>
 
<li>Start the PC^2 client</li>
<code>
 
 
  $ bin/pc2team</code>
 
  $ bin/pc2team</code>
 
</ol>
 
</ol>
Line 227: Line 240:
 
== I need some software by VMWare for a project, can you give it to me? ==
 
== I need some software by VMWare for a project, can you give it to me? ==
 
Possibly. {{#lsth:Dreamspark Programs | VMWare Dreamspark}}
 
Possibly. {{#lsth:Dreamspark Programs | VMWare Dreamspark}}
 
<div id="RSA"></div>
 
 
== When I run Visual Paradigm UML, I am asked to select a license ==
 
 
=== Installing the license locally ===
 
If you are running Visual Paradigm UML on a CIS Windows lab machine, you need the license file installed for your user profile.  You can do this by clicking on <code>Start>All Programs>Visual Paradigm>Install Visual Paradigm License</code>.  You will be shown a security warning about running an program on the network, click "Run" to approve.  Press any key when prompted to close the Command Prompt window.  Restart Visual Paradigm and it should run normally.
 
 
If you are running Visual Paradigm UML on your own Windows machine, you will need to download the license file [[attachment:license1.vpl|here]], and copy it to the following location: <code>%USERPROFILE%\visualparadigm\.vplls</code>.  Create this folder if it doesn't exist (in a command prompt):
 
<code>
 
C:\> mkdir %USERPROFILE%\visualparadigm\.vplls
 
</code>
 
 
=== Workaround for Campus Firewall Blocking ===
 
If you are running VP-UML on your own system and trying to use it on campus, you need to update the JRE included with the application.  You will first need to download a new JRE from http://www.java.com and extract it to your local harddrive.  Then follow these steps to place it in the correct folder for VP-UML to use it in Windows.
 
 
# Close Visual Paradigm if running
 
# Rename <code>jre</code> folder in <code>C:\Program Files\Visual Paradigm for UML 10.0</code> to <code>jre.bak</code>
 
# Copy <code>jre1.7.0_17</code> folder from where you extracted it to <code>C:\Program Files\Visual Paradigm for UML 10.0</code>
 
# Rename <code>jre1.7.0_17</code> folder in <code>C:\Program Files\Visual Paradigm for UML 10.0</code> to <code>jre</code>
 
# Start Visual Paradigm; you should see dialog that says "Academic license Key is received"
 
# Close Visual Paradigm and run <code>VP-UML Update</code> from the Start menu under <code>Visual Paradigm</code>
 
# Confirm no VP apps are running and click "OK" on the dialog box
 
# Make sure "Visual Paradigm update server" is selected and click "Check Update"
 
# Only apply updates to 10.0, do not upgrade to 10.1 if offered
 
# Close when done
 
  
 
== Is there any other way to get help? ==
 
== Is there any other way to get help? ==
The best way to get our attention is to send an email to help@cis.ksu.edu. This creates a ticket in RT (Request Tracker), which we use for monitoring and tracking all helpdesk issues. This in turn sends all the sysadmin staff an email so we can all have a chance to respond to your question. '''Please do not send emails to any individual sysadmin.''' If you do this, there will be no record of your question, and it may take longer to be addressed.
+
The best way to get our attention is to send an email to [mailto:help@cis.ksu.edu help@cis.ksu.edu]. This creates a ticket in RT (Request Tracker), which we use for monitoring and tracking all helpdesk issues. This in turn sends all the sysadmin staff an email so we can all have a chance to respond to your question. '''Please do not send emails to any individual sysadmin.''' If you do this, there will be no record of your question, and it may take longer to be addressed.
  
If you have a question during regular business hours (Monday-Friday, 8AM-5PM), you can stop by the sysadmin offices: Nichols 116 and Nichols 119. If your issue is quick and easy, we can usually take care of it right there for you. If it's a little more involved, we might still ask you to send us an email to open a ticket for it.
+
If you have a question during regular business hours (Monday-Friday, 8AM-5PM), you can stop by the sysadmin offices: Engineering Hall 2217 and 2218. If your issue is quick and easy, we can usually take care of it right there for you. If it's a little more involved, we might still ask you to send us an email to open a ticket for it.
  
 
Also during business hours, you can reach us by phone at 785-532-6350 and asking for the system administrator. If there is an after-hours emergency, you can call 785-532-7790 and it will be forwarded to the system administrator.
 
Also during business hours, you can reach us by phone at 785-532-6350 and asking for the system administrator. If there is an after-hours emergency, you can call 785-532-7790 and it will be forwarded to the system administrator.
Line 264: Line 251:
 
  Network: irc.freenode.net
 
  Network: irc.freenode.net
 
  Channel: #ksucis
 
  Channel: #ksucis
There is usually one or more sysadmin lurking on this channel that can help you. We don't monitor this 24/7, but it's another easy way to reach us if you need to. If we are working on an issue that requires extended debugging and interaction, we may ask you to join so we can get some realtime feedback with you.
+
There is usually one or more sysadmin lurking on this channel that can help you. We don't monitor this 24/7, but it's another easy way to reach us if you need to. If we are working on an issue that requires extended debugging and interaction, we may ask you to join so we can get some realtime feedback with you. For more detail on using IRC, see our [[Advanced IRC Tips]] page.

Revision as of 11:38, 29 January 2020

How do I connect to MySQL?

Before you can access your MySQL database, you must request an account by sending an email to help@cs.ksu.edu.

Once your account has been created, you may connect using the instructions below.

You can connect to the MySQL server from any host on the campus network. You will not be able to connect to it from off-campus unless you use the KSU VPN client, which you can download here. Campus wifi users: you will not be able to connect if you are on the "KSU Guest" wifi network. If you are on wifi, you must be using the "KSU Wireless" network.

Connecting from Linux

To connect from Linux, you must first logon to one of the lab machines (or you may connect from your own laptop). Once logged in, you can connect to the MySQL server by typing:

mysql -p -h mysql.cs.ksu.edu

and then enter your MySQL password when prompted.

Using phpMyAdmin

To administer your database through a web interface, you can use phpMyAdmin from any Internet-connected computer.

How do I change my MySQL password?

There are a couple of ways to change your password:

  • Connect using the command above. Once connected, type the following at the prompt
set password = password("yournewpassword");

Where yournewpassword is your new password.

How do I reset my MySQL password?

Send an email to support@cs.ksu.edu or stop by the sysadmin offices (Engineering Hall 2217 or 2218) during regular business hours.

General Connection Information

You may find the following information helpful:

MySQL Host: mysql.cs.ksu.edu
MySQL Port: 3306

A copy of the MySQL 5.5 documentation can be found at the MySQL homepage.

If you have any other questions or problems, please send a [request] to the system administrators.

How do I connect to PostgreSQL?

Before you can access your PostgreSQL database, you must request an account by sending an email to help@cs.ksu.edu.

Once your account has been provisioned, you may use your CS username and password to connect using the instructions below.

You can connect to the PostgreSQL server from any host on the campus network. You will not be able to connect to it from off-campus unless you use the KSU VPN client, which you can download here. Campus wifi users: you will not be able to connect if you are on the "KSU Guest" wifi network. If you are on wifi, you must be using the "KSU Wireless" network.

Connecting from Linux

To connect from Linux, you must first logon to one of the lab machines (or you may connect from your own laptop). Once logged in, you can connect to the PostgreSQL server by typing:

psql -p 5432 -h postgresql.cs.ksu.edu

and then enter your password when prompted.

Using phpPGAdmin

To administer your database through a web interface, you can use phpPGAdmin from any Internet-connected computer.

General Connection Information

You may find the following information helpful:

MySQL Host: postgresql.cs.ksu.edu
MySQL Port: 5432

If you have any other questions or problems, please send a [request] to the system administrators.

What happens when I leave? How long do I keep my account?

Please see the "Account Removal and Alumni Accounts" section of the Accounts page.

Can you guys help me with my homework?

We want to make our policy on helping students clear. The CS support staff is responsible for making sure the computing systems, networks, services, and programs on those systems function. We will help anyone who has a problem using these systems.

However, we draw the line at looking at any source code or server or program configurations students themselves have installed. This is due to the fact that CS faculty are frequently asking students to configure and manipulate software on their own as part of homework assignments. As such the CS support staff explicitly do not examine source code or other issues for students.

If you are convinced that this problem is indeed an issue related to a CS systems bug or misconfiguration, you may contact your professor and ask for assistance. At the specific request of faculty members we will look into source code or other issues, but only in order to determine the location of the problem.

As an additional clarification, this policy doesn't preclude us from answering questions and giving advice to students. The systems coordinator and students may volunteer to render help or give advice at their discretion. Please be sure your requests for advice are keeping with your professors' honor code requirements for the applicable course.

What do I do when the printer is out of paper?

If one of the printers runs out of paper, you just need to contact the system administrators. We get paper and load the printers on request.

Alternately, if no one is available at those locations you may either email support@cs.ksu.edu or talk to one of the staff members in the main CS office, Nichols 234.

How do I use VMWare in the Computing Labs

Please read our guide for full details on using a VM image for classwork.

How do I install JPF (Java PathFinder)?

Initial Steps

The JPF install script may be run from cislinux.cs.ksu.edu or any CS Linux lab machine. Windows users must ssh into cslinux using Putty or another ssh client.

Once you have completed the installation from any Linux machine, it will work on any other CS Linux machine.

  1. Log into cslinux.cs.ksu.edu (or any CS Linux lab machine). All following command should be run in a terminal session or terminal window.
  2. Make sure the Sun JDK is in your system path. You should see something like this:
  3. $ set | grep JAVA_HOME
    JAVA_HOME=/usr/lib/jvm/default-java
    $ set | grep PATH
    PATH=/usr/bin:/usr/local/bin:/usr/bin:/bin:/usr/games:/usr/lib/jvm/default-java
    

    JAVA_HOME could also be something like /usr/lib/jvm/java-6-sun. If JAVA_HOME is not set and not also in PATH, you will need to add the following to your ~/.profile:

    export JAVA_HOME=/usr/lib/jvm/default-java
    export PATH=$PATH:$JAVA_HOME
    

    Logout and back in to load the new configuration, or just reload it for your current session

    $ source ~/.profile
    
  4. Now you can run the install script which will place the JPF files in your home directory and build them:
  5. $ /common/public/bin/install_jpf.sh
    

You will now have a built copy of JPF in ~/JPF2.

Running JPF

Create the following shell scripts to help you build and run JPF test classes:

compile.sh

JPF=$HOME/JPF2/
CLASSPATH=.:$JPF/jpf-core/build/jpf/
CLASSPATH=$CLASSPATH:$JPF/jpf-core/lib/*
CLASSPATH=$CLASSPATH:$JPF/jpf-core/src/main/
javac -cp $CLASSPATH $1

run.sh

JPF=$HOME/JPF2/
CLASSPATH=.:$JPF/jpf-core/build/*
CLASSPATH=$CLASSPATH:$JPF/jpf-core/lib/*
CLASSPATH=$CLASSPATH:$JPF/jpf-core/build/classes/
CLASSPATH=$CLASSPATH:$JPF/jpf-core/bin/
CLASSPATH=$CLASSPATH:$JPF/jpf-core/src/main/
ARGS="+vm.por.sync_detection=false"
ARGS=$ARGS" +jpf.report.console.property_violation=trace,error,snapshot"
ARGS=$ARGS" +jpf.listener=.tools.DeadlockAnalyzer"
ARGS=$ARGS" +deadlock.format=essential"
java -Xmx512m -jar $JPF/jpf-core/build/RunJPF.jar +classpath=$CLASSPATH  $ARGS $1

Place them somewhere in your homedir (in your JPF2 directory is probably a good place) and make them executable

$ chmod +x compile.sh
$ chmod +x run.sh

See your instructor for how to use these scripts.

For More Information

Please see the Java PathFinder site:

http://javapathfinder.sourceforge.net/

How do I use PC^2 for the ACM Programming Contest?

PC^2^ is used for submitting solutions and scoring for the ACM Programming Contest. You may either use a local fat client (pc2team) or the web client (EWTeam).

Web Client: EWTeam

Point a web browser to http://pc2.cis.ksu.edu and login with the credentials provided by the contest coordinator. This should work for all browsers and all operating systems. You can also look at the current scoreboard from this app.

Local Client: pc2team

To use the local client, you must install it in at least one team member's home directory.

Previously Installed Copy

IMPORTANT NOTE: If you used PC^2 for previous contests, you must remove the old directory before installing the current one. Look for a "pc2" directory on your U: drive or in your home directory and delete it before continuing.

Installation

  1. Login to a Linux lab machine, or open an SSH session using PuTTY or another SSH client to cislinux.cis.ksu.edu
  2. Run the install script
  3. $ /common/public/bin/install_pc2.sh

Running

In Windows
  1. Open a Command Prompt window (click Start->Programs->Accessories->Command Prompt, or Start->Run and type cmd)
  2. Change to your home files (U: drive) and enter the pc2 directory
  3. > U:
    > cd pc2
    
  4. Start the PC2 client
  5. U:\pc2>bin\pc2team
    

You cannot run pc2team by double-clicking on it in Windows Explorer, you must start it from the command prompt as described here.

In Linux
  1. Open a terminal window
  2. Enter the pc2 directory in your home directory
  3. $ cd $HOME/pc2
    
  4. Start the PC^2 client
  5. $ bin/pc2team
    
All Platforms
  • Login using the credentials provided to you by the judges.
  • Note 1: you must run the pc2team application as described here, do not cd bin first and then run pc2team, otherwise the client will not be able to read its configuration file and you will not be able to connect to the server.
  • Note 2: if you wish to view the current scoreboard, you may run the application pc2board instead of pc2team in the last step listed above.

Usage

Full documentation of the pc2team client can be found in the pc2 install directory in your home directory. Look in the doc directory for the file PC2V9TeamGuide.pdf.

I need some software by VMWare for a project, can you give it to me?

Possibly. Our licensing with VMWare, via the VMware Academic Program, allows us to give students software and licenses to install software on their own computers, for a period of 12 months at a time. Software may be obtained from the VMWare webstore. At the beginning of each semester, we update the online database with a list of all students currently enrolled in a CS class. When we do this, you will receive an email from "Kansas State University, Manhattan - Computing and Info. Sciences" (usually from noreply@kivuto.com) which contains a link that you will need to click to activate your account and set a password for it. Webmail will sometimes flag this as spam, so if you don't see it in your Inbox, please check in your Spam/Junk folders to see if it is filtered there.

If your account is currently active, or was previously added but you never activated it, you will not receive an email. If you previously had an account that had been deactivated (accounts are deactivated automatically after one year from their creation), you will receive an email saying your account has been reactivated. If you don't remember your password in either of these cases, click on the "Forgot you password?" link on the site login page. Your username will always be <your_eid>@ksu.edu.

Once your account is confirmed, you can login to the webstore any time at the following URL:

http://e5.onthehub.com/d.ashx?s=n6y2p4hmp2

You are free to download any software available on this site. Software available for students from the VMware Academic Program includes desktop applications, such as Fusion (for Mac OS), Workstation (for Linux and Windows), and Player (for all platforms). You can also get a discount code for enrollment in the VMWare Certified Professional program. Software for faculty includes all of these plus vSphere and vCenter products, as well as ESXi and ESX.

Remember, this is for you own personal use as a CS student. You are not legally permitted to download software for your friends or families. Doing so will break the terms of the agreement. Distributing illegal copies of software is against state and federal laws and the policies of this university.

Is there any other way to get help?

The best way to get our attention is to send an email to help@cis.ksu.edu. This creates a ticket in RT (Request Tracker), which we use for monitoring and tracking all helpdesk issues. This in turn sends all the sysadmin staff an email so we can all have a chance to respond to your question. Please do not send emails to any individual sysadmin. If you do this, there will be no record of your question, and it may take longer to be addressed.

If you have a question during regular business hours (Monday-Friday, 8AM-5PM), you can stop by the sysadmin offices: Engineering Hall 2217 and 2218. If your issue is quick and easy, we can usually take care of it right there for you. If it's a little more involved, we might still ask you to send us an email to open a ticket for it.

Also during business hours, you can reach us by phone at 785-532-6350 and asking for the system administrator. If there is an after-hours emergency, you can call 785-532-7790 and it will be forwarded to the system administrator.

If you're the kindof person that likes IRC, we have a channel on Freenode that you are free to join and ask your question. You can plug the following details into the IRC client of your choice:

Network: irc.freenode.net
Channel: #ksucis

There is usually one or more sysadmin lurking on this channel that can help you. We don't monitor this 24/7, but it's another easy way to reach us if you need to. If we are working on an issue that requires extended debugging and interaction, we may ask you to join so we can get some realtime feedback with you. For more detail on using IRC, see our Advanced IRC Tips page.