FEniCS – workflow Start the Docker Quickstart terminal / terminal

Slides:



Advertisements
Similar presentations
CS 497C – Introduction to UNIX Lecture 11: - The File System Chin-Chih Chang
Advertisements

The Unix File System. What are the three parts of every file on a Unix filesystem? And where is each stored? Filename - stored in directories Inode -
Dayu Zhang 9/8/2014 Lab02. Example of Commands pwd --- show your current directory This is home of venus, not your home directory Tilde: means you are.
MCT260-Operating Systems I Operating Systems I Navigating the File System.
Activity One Use the Windows Explorer program to create a new folder. Name the folder by your first name. Click on the windows explorer icon then highlight.
Linux+ Guide to Linux Certification, Second Edition
Chapter 5 Accessing Files and Directories. How Directories Get Created OS installation: usr, dev, etc, export, kernel and others places to store installation.
The UNIX File System.
Unix Basics. Systems Programming: Unix Basics 2 Unix Basics  Unix directories  Important Unix file commands  File and Directory Access Rights through.
Basic Unix Dr Tim Cutts Team Leader Systems Support Group Infrastructure Management Team.
Command Console Tutorial BCIS 3680 Enterprise Programming.
Linux Files and Directories. Linux directories Linux system are arranged in what is called a hierarchical directory structure. This means that they are.
A Mini UNIX Tutorial. What’s UNIX?  An operating system run on many servers/workstations  Invented by AT&T Bell Labs in late 60’s  Currently there.
Chapter 1: Python Basics CSCI-UA 0002 – Introduction to Computer Programming Mr. Joel Kemp.
EMT 2390L Lecture 2 Dr. Reyes. Outline What is the Shell Basic commands Linux Filesystem System commands.
Unix Primer. Unix Shell The shell is a command programming language that provides an interface to the UNIX operating system. The shell is a “regular”
Lesson 7-Creating and Changing Directories. Overview Using directories to create order. Managing files in directories. Using pathnames to manage files.
Chapter 9 Part II Linux Command Line Access to Linux Authenticated login using a Linux account is required to access a Linux system. The Linux prompt will.
Basic unix commands that everyone should know (Even if you have a mac) Slightly more advanced:
Computers Are Your Future Twelfth Edition Spotlight 2: File Management Copyright © 2012 Pearson Education, Inc. Publishing as Prentice Hall 1.
Linux+ Guide to Linux Certification Chapter Four Exploring Linux Filesystems.
UNIX/LINUX Shells Shell is an UNIX/LINUX command interpreter. Shell command can be internal or external. The code to execute an internal command is part.
1 Operating Systems and Using Linux Topics What is an Operating System? Linux Overview Frequently Used Linux Commands Some content in this lecture added.
1 Operating Systems and Using Linux Topics What is an Operating System? Linux Overview Frequently Used Linux Commands Reading None.
Files and Directories Copyright © Software Carpentry 2010 This work is licensed under the Creative Commons Attribution License See
Chapter 1 : The Linux System Part 2 Lecture 2 11/14/
Lecture One. Objective: Provide description of the Command-Line Editor of Linux operating system. Enable students to understand the practical side of.
Advanced Programming in the UNIX Environment Hop Lee.
Lesson 3-Touring Utilities and System Features. Overview Employing fundamental utilities. Linux terminal sessions. Managing input and output. Using special.
Unix File System Chapter 6.1 – Unix file system Home directory – A directory set aside for your personal use – The starting point when you log.
Agenda The Linux File System (chapter 4 in text)
BIF713 File and Directory Management. File System A File System is a structure used to organize programs and data on a computer ’ s storage device Files.
PTA Linux Series Copyright Professional Training Academy, CSIS, University of Limerick, 2006 © Workshop III - Part A Shell Commands Professional Training.
Isecur1ty training center Presented by : Eng. Mohammad Khreesha.
Copyright © 2007 Heathkit Company, Inc. All Rights Reserved PC Fundamentals Presentation 10 – Using the Command Line.
© 2015 by McGraw-Hill Education. This proprietary material solely for authorized instructor use. Not authorized for sale or distribution in any manner.
Exploring Spyder: An IDE for scientific computing
Linux+ Guide to Linux Certification, Second Edition Chapter 4 Exploring Linux Filesystems.
Unix Fundamentals CS 127. File navigation cd - change directory cd /var/log cd /etc/apache2 cd ~/Desktop ~ is a shortcut for the home directory.
Operating Systems and Using Linux Courtesy of John Y. Park 1.
CS 120 Extra: The CS1 Server Tarik Booker CS 120.
MS-DOS is an acronym for MicroSoft Disk Operating System It is a CUI based operating system. It provides user with a command prompt (generally called.
Agenda The Linux File System (chapter 4 in text) Directory Structures / Navigation Terminology File Naming Rules Relative vs Absolute pathnames Unix Commands:
A+ Guide to Managing and Maintaining Your PC, 7e Chapter 2 Introducing Operating Systems.
CMSC 104, Version 9/011 Operating Systems and Using Linux Topics What is an Operating System? Linux Overview Frequently Used Linux Commands Reading None.
Whatcha doin'? Aims: To start using Python. To understand loops.
Commands Basic syntax of shell commands UNIX or shell commands have a basic structure command -options target command comes first (such as cd or ls) any.
Linux Commands Workout 1
Prepared by: Eng. Maryam Adel Abdel-Hady
Andy Wang Object Oriented Programming in C++ COP 3330
Linux/Unix - Download Ubuntu Linux :
The UNIX Shell Learning Objectives:
Some Linux Commands.
The Command Prompt Commands are the way to “do things” in Unix
Unix : Introduction and Commands
Operating Systems and Using Linux
Operating Systems and Using Linux
The Linux Command Line Chapter 3
Operating Systems and Using Linux
Run Java file with Window cmd
Andy Wang Object Oriented Programming in C++ COP 3330
Operating Systems and Using Linux
Operating Systems and Using Linux
Operating Systems and Using Linux
Module 6 Working with Files and Directories
What is Unix? A multi-user networked operating system
Lab 2: Terminal Basics.
Python Lessons 13 & 14 Mr. Husch.
The Linux Command Line Chapter 3
DIBBs Brown Dog Tutorial Setup
Presentation transcript:

FEniCS – workflow Start the Docker Quickstart terminal / terminal Open your FEniCS container docker start –i myfenics where myfenics is the name of your FEniCS container Change directory to you’re the folder that FEniCS shares with your host computer cd shared You should now be able to see the files in your shared folder on your host system. To look at them type dir –l (for directory with long listing, with a lower case letter el) or ls –l (for list directory with long option, again with a lower case letter el) If your fenics project folder is a subfolder of your shared folder, you might have to do another cd cd my_fenics_folder where my_fenics_folder is the name of your fenics project folder. Run your python code python my_fenics_code.py

Running FEniCS – useful hints for operating in the bash shell Avoid filenames or folder names with spaces in them, as they can cause confusion when working between operating systems. If you want spaces for readability, replace them with underscores: file name with spaces can become filename_with_no_spaces Pathname separators are forward slashes “/”, not backslash “\” as in Windows. Filename extensions with “.” are OK. So, for example: /home/fenics/shared/my_fenics_folder/my_favourite_fenics_project.py If you forget where you are in the folder / file system just type in pwd (for present working directory). Also, the command prompt shows your current folder. (“~” denotes your home directory.) You can then use dir or ls together with cd to navigate your way through the folder / file system. Some useful shortcuts: cd .. Will move up one directory/folder to the “parent” directory/folder; cd by itself, will take you to your home directory in the container, which will be something like /home/fenics cd start* will take you to the folder whose pathname begins with “start” if it exists and is unique; otherwise you will get an error. In effect, the wild card “*” expands to anything that makes sense. Here “start” can be anything.