Misc Questions
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.
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.cis.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.
- Or you can change your password in phpmyadmin.
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.
General Connection Information
You may find the following information helpful:
MySQL Host: mysql.cis.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.
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 CIS 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 CIS faculty are frequently asking students to configure and manipulate software on their own as part of homework assignments. As such the CIS 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 CIS 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@cis.ksu.edu or talk to one of the staff members in the main CIS 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.cis.ksu.edu or any CIS Linux lab machine. Windows users must ssh into cislinux 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.
- 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.
- Make sure the Sun JDK is in your system path. You should see something like this:
- Now you can run the install script which will place the JPF files in your home directory and build them:
$ 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
$ /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
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
- Login to a Linux lab machine, or open an SSH session using PuTTY or another SSH client to cislinux.cis.ksu.edu
- Run the install script
$ /common/public/bin/install_pc2.sh
Running
In Windows
- Open a Command Prompt window (click Start->Programs->Accessories->Command Prompt, or Start->Run and type
cmd
) - Change to your home files (U: drive) and enter the pc2 directory
- Start the PC2 client
> U:
> cd pc2
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
- Open a terminal window
- Enter the pc2 directory in your home directory
- Start the PC^2 client
$ cd $HOME/pc2
$ 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 runpc2team
, 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 ofpc2team
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.
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 Start>All Programs>Visual Paradigm>Install Visual Paradigm License
. 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 here, and copy it to the following location: %USERPROFILE%\visualparadigm\.vplls
. Create this folder if it doesn't exist (in a command prompt):
C:\> mkdir %USERPROFILE%\visualparadigm\.vplls
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
jre
folder inC:\Program Files\Visual Paradigm for UML 10.0
tojre.bak
- Copy
jre1.7.0_17
folder from where you extracted it toC:\Program Files\Visual Paradigm for UML 10.0
- Rename
jre1.7.0_17
folder inC:\Program Files\Visual Paradigm for UML 10.0
tojre
- Start Visual Paradigm; you should see dialog that says "Academic license Key is received"
- Close Visual Paradigm and run
VP-UML Update
from the Start menu underVisual Paradigm
- 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