FAQ

Linux server

• How do I connect to the Linux server with the command line?
  • Run ssh user@acad.kutztown.edu where user is your Kutztown user ID (the first part of your email address).
• How do I copy a file to the Linux server with the command line?
  • Run scp <source file path> user@acad.kutztown.edu:~/<destination file path> where user is your Kutztown user ID (the first part of your email address).
• How do I copy a file from the Linux server with the command line?
  • Run scp user@acad.kutztown.edu:~/<source file path> <destination file path> where user is your Kutztown user ID (the first part of your email address).
• How do I set up a safe alias for removing files?
  • There is a file named .bashrc in your home directory. Add the following line to the end of that file: alias rm='rm -i'
• How do I create a zip file on the Linux server?
  • Run zip <zip filename> file [files].
• Where is the public course material?
  • The directory on the Linux server is:
    /export/home/public/schwesin/cpsc328/
• How do I find a segmentation fault?

  1. set the core file limit: ulimit -c unlimited

  2. make sure to compile the program with the -g flag

  3. run the program; a core file will be created in the current directory

  4. run gdb with the compiled program and the core file gdb PROGRAM CORE

  5. Type where in the gdb REPL

  6. Type quit to exit gdb