DD1310 Programmering för OPEN1 LAB1: Laborationer i Python läsåret 2011/2012

Relevanta dokument
DD1310 Programmeringsteknik för Open1 och Med2 Laborationer läsåret 2014/2015

Introduktion till datormiljön och Python

DD1316 Programmeringsteknik och C för E1 Laborationer läsåret 2015/2016

DD1315 Programmeringsteknik och Matlab för I1 Laborationer läsåret 2013/2014

2D1310 Programmeringsteknik för CL1 Laborationer läsåret 2004/2005

2D1311 L1 och Bio2 2001/ Laboration 1: Introduktion till Nadas datormiljö och Java Nyckelord: katalog, fil, källkod, kompilera, avlusa, program,

DD1311 Programmeringsteknik för CL1 Laborationer läsåret

2D1310 Programmeringsteknik för Media1 Laborationer läsåret 2004/2005

UNIX. 2D1339 Programkonstruktion Hösten 2001 Datorintroduktion Laboration 1. Mål. Vad laborationen går ut på. Redovisning

Kort-kort om utdelade användarkonton och datormiljön på NADA

2D1310 Programmeringsteknik för Media1 och CL1 Laborationer läsåret 2003/2004

DN1240, Numeriska metoder. Laboration 0 (frivilliga delar) (dvs uppgifterna behöver inte redovisas) Introduktion till UNIX och MATLAB

Lab1 inginfo07. Detta dokument innehåller övningar för introduktion till Media-programmets datorsystem (Mac OS X).

SF1520, Numeriska Metoder och Grundläggande Programmering för K2 Lab1.

DD1311 Programmeringsteknik för S1 Laborationer läsåret

DN1212, Numeriska metoder & grundläggande programmering. Laboration 1 del 1-3 (frivilliga delar) Del 1-3 (dvs upg ) behöver inte redovisas

Datorintro för elektro på Solaris

OBS! Snabbinsatt Matlab-intro vissa fönsterhanteringsdetaljer kan vara fel men gör gärna Matlab-uppgifterna. DN1240, Numeriska metoder för OPEN1.

SF1672, Linjär Algebra med Matlab för F1 Lab0

SF1546, Numeriska Metoder för O1 Lab0 - frivillig. (dvs uppgifterna behöver inte redovisas!)

Kort-kort om utdelade användarkonton och datormiljön på NADA

SF1520, Numeriska Metoder och Grundläggande Programmering för K2 Lab1.

DATORINTRODUKTION 2010 LABORATION 1

Introduktion till datorer och nätverk vid institutionen för naturgeografi och ekosystemvetenskap

kommando -fl argument

Xemacs, första hjälpen!

Visma Proceedo. Att logga in - Manual. Version 1.3 /

Lab 7, 48 steg till ett bättre liv i Unix-labbet

2D1311 V1 2002/ Laboration 1: Introduktion till datormiljön Nyckelord: katalog, katalogträd, rot, fil, källkod, kompilering, avlusning, program,

Laboration 2 i datorintro för E1 Detta dokument innehåller instruktioner och övningar för introduktion till E-programmets datorsystem och web-mail.

Elias Castegren. (Version 1, 2012)

Unix. Terminalfönstret hur du ger instruktioner till datorn på ett effektivt sätt.

Användarhantering Windows 7 I denna laboration kommer vi att skapa nya användare och grupper och titta på hur man hantera dessa.

Använda Python Laboration 1 GruDat, DD1344

Laboration 1 Introduktion till Visual Basic 6.0

Laboration 0. Enhetsbokstaven anges med ett kolon efter och man läser ofta ut detta, exempelvis C:(sekolon).

Parallella jobb ctrl-z emacs & more README ctrl-z jobs. %<jobnr>

Skoladmin kom igång! Innehåll

2D1311 Programmeringsteknik med PBL för S1 Laborationer läsåret 2003/2004

Objektorienterad programmering i Java I

Konsolfönster i Windows Momentet ingår i kursen PDA DTR1206 Lab 1 DOS Konsolfönstret

Labora&on 1 Introduk&on &ll utvecklingsmiljön övningar/uppgi<er

Handhavande manual problemhantering

Övning 1. Datateknik A, Java I, 5 poäng. Att ladda hem och installera Java Att skriva ditt första Javaprogram Att kompilera och exekvera ditt program

UNIX. Laborations-PM Anders Egneus, Henrik Lindgren, 2004, Raphael Corsoski, Erik Eliasson, Christian von Schultz, 2008.

Kom igång. Readyonet Lathund för enkelt admin. Logga in Skriv in adressen till din webbsida följt av /login. Exempel:

Omkoppling av in- och utmatning. In- och utmatning i Unix. Kommando exempel, ls, pipe forts. Kommando exempel, ls, pipe

Steg 1 Minnen, mappar, filer Windows 7

Manual för attestering via nya webben

WebBoard i distansutbildningen

Mappar och filer för webbsidor

FrontPage Express. Ämne: Datorkunskap (Internet) Handledare: Thomas Granhäll

Hur man lägger upp och redigerar dokument i Typo3.

Installationsanvisningar VisiWeb. Ansvarig: Visi Closetalk AB Version: 2.3 Datum: Mottagare: Visi Web kund

Redaktörens Lathund för Glokala. Så här redigerar du en redan befintlig hemsida. Så här skapar du en länk till en extern hemsida

Välkommen som användare av medietekniks och informatiks publika studentserver

Distansåtkomst via systemaccess tjänst från egen dator

Jobbschemaläggare. Morgan N. Sandquist Utvecklare: Gary Meyer Granskare: Lauri Watts Översättare: Stefan Asserhäll

Innehåll Information om hemkatalog och lagring av filer... 2 PC... 3 DAFGU-/GDA-dator, Windows

Komma igång med 3L Pro Komma igång med 3L. Copyright VITEC FASTIGHETSSYSTEM AB

Laboration 2 Datorverktyg vid LiU

Om manualen inte räcker till vänligen kontakta Madeleine Rietz på ITavdelningens supportmejl

För att öppna galleriet, ange adressen

Flytt av. Vitec Mäklarsystem

FLEX Personalsystem. Uppdateringsanvisning

Instruktion för användande av Citrix MetaFrame

Program. Kapitel make Program Interpreterande och kompilerande program

SORSELE KOMMUN. Handbok OEW. 28 sept 2012 Mari-Anne Englund Barbro Olofsson. Sorsele kommun Version , rev (19)

Emacs. Eric Elfving Institutionen för datavetenskap (IDA) 22 augusti 2016

Programutveckling med Java Development Kit. (JDK 1.1.x) och Programmers File Editor (PFE 7.02)

Manual för din hemsida

Gran Canaria - Arbetsbeskrivning knapplänkar (Mediator 8)

få ett hum om det grafiska användargränssnitten, CDE och/eller JDS.

Inloggning till Treserva via extern dator

Tilpro Övning 1. Per-Anders Staav (föredrar att kallas Pa) Kan nås via epost: (fast de flesta frågor besvaras nog bäst av Alexander)

Numeriska metoder och grundläggande programmering för P1

Skapa mappar, spara och hämta dokument

Innehåll Information om hemkatalog och lagring av filer... 2 PC... 2 GDA-dator, Windows

Unix och skolans datormiljö

Hur du använder My easyfairs. En guide för utställare

Steg 1 Minnen, mappar, filer Windows 8

ARX på Windows Vista, Windows 7 eller Windows 2008 server

Steg 1 Minnen, mappar, filer Windows 10

batklubben.eu s hemsida

Laboration: Grunderna i MATLAB

Dok nr OSF/AV-15:003, ver E Inloggning till Treserva via extern dator

Innehåll instruktion Sharefile för Trafikverkets applikationer

Tilpro Övning Per-Anders Staav (vikarierande) (föredrar att kallas Pa) Kan nås via epost:

Programkonstruktion med datorintroduktion, 2D1339

Labora&on 1 Introduk&on &ll utvecklingsmiljön övningar/uppgi<er

Välj bort om du vill. 96 Internet och e-post. 2. Mail-programmet finns i datorn. 1. Skriv mail i sökrutan. Windows Live Mail i Aktivitetsfältet.

Innehåll Uppgifter ipad utbildning

Introduktionskurs i datavetenskap, 3p.

E-posthantering med Novell Groupwise WebAccess

Visma Proceedo Att logga in - Manual

Manual för Typo3 version 4.2

Lägga till bild i e- handeln

sektionsdata webb Sektionsdata webb är anpassat för att du ska kunna justera, jobba i eller visa dina kalkyler för kollegor, kunder och beställare.

Detta dokument skall ge en kortfattad introduktion till Jasmine installationen vid DSV.

Subversion. Laboration. Höstterminen 2008 r81. Ronny Kuylenstierna

Transkript:

DD1310 Programmering för OPEN1 LAB1: Laborationer i Python läsåret 2011/2012 Räkna med att varje laboration kan ta upp till 10 timmar att göra. Du behöver alltså tillbringa en hel del tid i datorsalarna. Om du behöver hjälp så finns allmänhandledningen på plats varje vardag kl 11-13 och 17-20, se http://www.nada.kth.se/handledning/handledare4/general.php Fyll i ditt namn och personnummer nedan med bläck eller motsvarande. Denna kvittenssida ska du spara som kvitto, för att visa upp om du senare upptäcker att dina labbar inte har blivit inrapporterade. Kursledare är Sten Andersson, stene@csc.kth.se. Namn... Personnr... Laborationer i Python Laboration 1 Godkänt den... Kvitteras... Timmar... (bonusdatum 2011 09 01) Laboration 2 Godkänt den... Kvitteras... Timmar... (bonusdatum 2011 09 08) Laboration 3 Godkänt den... Kvitteras... Timmar... (bonusdatum 2011 09 14) Laboration 4 Godkänt den... Kvitteras... Timmar... (bonusdatum 2011 09 22) Laboration 5 Godkänt den... Kvitteras... Timmar... (bonusdatum 2011 09 28) P-del Spec Godkänt den... Kvitteras... (senast 2011 11 03) Redovisning Godkänt den... Kvitteras... Timmar... (senast 2011 11 28) Granskning Godkänt den... Kvitteras... (senast 2011 11 28)

Laboration 1: Introduktion till datormiljön och Python Nyckelord: katalog, fil, program, variabel, tilldelning, inläsning, utskrift, funktion, anrop. Mål: Att du efter laborationen ska kunna använda Linux, och Emacs samt skriva och köra enkla Python-program. Föreberedelse: Deltagit i föreläsningar och övningar. Sammanfattning av labben I den här labben ska du lära dig om operativsystemet Linux och redigeringsprogrammet Emacs. Du ska också registrera dig på kursen, och sist men inte minst skriva ett enkelt Pythonprogram. Inloggning Sätt dig vid en dator tillsammans med din labbkompis och logga sedan in. Längst upp till vänster finns en Ubuntu ikon som ungefär motsvarar startknappen i Windows. Via menyn som denna knapp aktiverar startar man många program. Klicka på den och välj Accessories->Terminal för att öppna ett terminalfönster. Terminalfönstret motsvarar Command Prompt i Windows. När du skriver i det fönstret ger du kommandon till kommandotolken. Kom ihåg att kommandotolken skiljer mellan stora och små bokstäver. Filer och kataloger Med en filhanterare kan du utforska datorns och nätverkets kataloger. En katalogs innehåll kan bestå av andra kataloger och filer. Kataloger som ligger i en annan katalog kallas ibland underkataloger. Kataloger med underkataloger bildar en grenliknande struktur där varje gren är en katalog. Denna grenstruktur kallar man ofta katalogträd. Till skillnad från verkliga träd brukar man dock låta katalogträd breda ut sig nedåt och till höger istället för rakt upp. En bieffekt av detta är att katalogträdets rot hamnar längst upp till vänster samt att man pratar om att gå ned i en katalog (eller underkatalog). En fullständig beskrivning av den plats en fil ligger på brukar kallas sökväg och kan till exempel se ut på följande sätt: /info/prgt/studiehjalp.py /home/a/labbkompisens_kontonamn/studiehjalp.py Notera att katalognamn och filnamn separeras av tecknet / och inte av \ som i Windows. Ett annat speciellt tecken är (uttalas tilde ) som är en förkortning av den inloggades hemkatalog vilken i verkligheten ligger någonstans under katalogen /home i katalogträdet (/home/...). Hemkatalogen är den katalog du hamnar i när du loggar in och i vilken du har rätt att spara filer och kataloger.

DD1310 OPEN1 2011/2012 3 Starta filhanteraren genom att i menyn Places uppe till vänster välja Home Folder Tillkalla handledare med Sima-manager Om du vill fråga något eller redovisa använder du sima manager som är ett program du kör på din dator. Skriv följande i terminalfönstret: module add sima För att starta programmet ska du sedan skriva sm och vänta en stund. För att tillkalla handledare leta fram kursen prgmed från listan: tryck på knappen login och slutligen tryck på knappen Queue för att få hjälp. Vänta några minuter så kommer snart en handledare till dig. Om du vill slippa att skriva module add sima i framtiden kan du lägga till module add sima i filen.modules i din hemkatalog. Prova och ställ dig i kön för att få hjälp med detta, alltså om du behöver hjälp. Välj prgo11 när du har schemalagd labb och allmanhand övriga tider så får du hjälp av rätt handledare. Användbara kommandon Terminalfönstret har en mängd kommandon och nedan finns exempel på de mest användbara för denna kurs.

DD1310 OPEN1 2011/2012 4 Funktion Kommandoexempel Lista innehåll i ls aktuell katalog Lista innehåll i ls -a aktuell katalog, visa även gömda filer Byt aktuell katalog till cd hemkatalogen Byt aktuell katalog till cd lab1 underkatalogen lab1 Byt aktuell katalog till cd.. katalogen ovanför Skapa en katalog mkdir lab1 som heter lab1 Kopiera filen exempel cp /info/prgt/exempel /prgo11/lab1/ till din lab1-katalog Kopiera filen.emacs cp /info/prgt/.emacs / till hemkatalogen Ta bort filen studiehjalp.py rm studiehjalp.py Obs! Filen försvinner för alltid Ta bort katalogen lab2 rm -r lab2 och alla underkataloger Obs! Innehållet försvinner för alltid Exekvera Pythonprogram python studiehjalp.py Skriv ut filen studiehjalp.py print studiehjalp.py till skrivaren Terminalfönstret Vissa kommandon skriver man i terminalfönstret (allt ovanstående går också att göra med skrivna kommandon). Till exempel kan du lista alla filer i en katalog med kommandot ls (list). Vill du lista alla underkataloger och filer i kurskatalogen skriver du ls /info/prgt. Det du framför allt behöver veta är hur du flyttar dig mellan olika kataloger i terminalfönstret. För att gå ner i katalogen prgo11 skriver du cd prgo11, vilket utläses change directory to prgo11. För att gå upp en nivå skriver du cd.. (glöm inte mellanslaget före punkterna). Det finns genvägar för att slippa skriva så mycket i terminalfönstret; till exempel behöver du sällan skriva ut hela filnamnet. Tryck på TAB eller (längst till vänster) så fylls kommandon, filnamn och katalognamn i om de är entydiga (detta kallas TAB completion på engelska). Vill du få upp föregående kommando räcker det att trycka på uppåtpiltangenten som sitter nere till höger på tangentbordet. Trycker du flera gånger bläddrar du successivt tillbaka bland gamla kommandon. Vill du veta mer om kommandot kommando kan du ta fram en manual genom att skriva man kommando; till exempel kan du skriva man more för att få reda på mer om kommandot more. Tryck ner tangenten q på tangentbordet om du vill avsluta man.

DD1310 OPEN1 2011/2012 5 Ni som arbetar i grupp Ni som arbetar i grupp behöver skapa en katalog som båda kommer åt och kan använda och även registrera den av er som inte är inloggad. För att åstadkomma detta använder ni följande kommandon, där labbkompis1 är användarnamnet som först loggade in och labbkompis2 är användarnamnet på den andra personen i gruppen. mkdir prgo11 course include prgo11 labbkompis2 Det första kommandot skapar katalogen prgo11 hos labbkompis1 och det andra kommandot ändrar rättigheter på katalogen så att även labbkompis2 kan arbeta i katalogen. Testa nu med kommandot ls eller titta i filhanteraren för att säkerställa att katalogen är skapad. Alla kataloger som någon av er skapar under prgo11 är gemensamma för labbgruppen. Logga sedan ut labbkompis1 genom att trycka på On/Off knappen längst upp till höger. Logga sedan in labbkompis2 och och skriv sedan course labdir prgo11 labbkompis1 Testa med ls eller filhanteraren för att säkerställa dig om att katalogen prgo11 är åtkomlig. Kommandot ovan skapar inte en ny katalog utan en så kallad länk till katalogen prgo11 hos labbkompis1, så att ni i praktiken får en gemensam katalog. Webbläsare och kursinformation Programmet Firefox är en webbläsare du startar genom att under Ubuntu - menyn välja Internet->Firefox Web Browser. Du kan även starta det genom att skriva emacs& i ett terminalfönster. Klicka en gång i det fönster du nu får upp och skriv in följande URL-adress i adressfältet: http://www.csc.kth.se/dd1310/ Klicka på länken prgo11. Du ska nu få upp en sida med kursinformation för programmeringsteknikkursen för OPEN1. Denna sida är viktig! Här kommer vi att lägga ut information under kursens gång, så vänj dig att alltid titta på sidan när du loggar in. För att slippa klicka dig fram till sidan varje gång ska du spara adressen till sidan med ett bokmärke. Du gör det genom att välja menykommandot Bookmarks Bookmark This Page. Redigeringsprogrammet Emacs För att skapa och ändra filer används ett redigeringsprogram. Emacs är ett kraftfullt redigeringsprogram som har flertalet finesser om man t.ex. skall skriva Pythonkällkod. En av de viktigaste är indentering. Med indentering menas att texten i Pythonkällkoden skjuts in en bit beroende på vilken del av programmet som texten utgör. Innan du fortsätter med Emacs ska du skapa en ny underkatalog lab1 i katalogen prgo11. Kontrollera att katalogen lab1 finns. Skapa sedan ytterligare en katalog i prgo11 för varje laboration (lab2,..., lab5 och puppgift) så blir det enklare för dig att hålla reda på filerna under kursens gång. Kopiera från hemsidan filen studiehjalp.py till din katalog lab1.

DD1310 OPEN1 2011/2012 6 Filer och buffertar Två viktiga begrepp i Emacs är fil och buffert ( file, buffer ). En fil är något som finns sparad på en hårddisk. Om datorn slås av kommer en fil finnas kvar och kan utnyttjas när datorn startas igen. En buffert är något som används tillfälligt under tiden du skriver. Ändringarna i en buffert finns inte automatiskt kvar om datorn slås av. Det är alltså viktigt att spara ändringar i en buffert till en fil lite då och då. Detta gäller speciellt om filen ska utnyttjas till något annat (t.ex. exekvering). Öppna en existerande eller en ny fil Starta Emacs genom att skriva emacs& i ett terminalfönster. Öppna filen studiehjalp.py som du kopierat tidigare. Man kan öppna en fil via menyn (Files Open File) eller genom tangentkombinationer (C-x C-f, d v s håll ned kontrolltangenten, tryck på x, håll ned kontrolltangenten, tryck på f). Längst ned i Emacs dyker då en rad med den aktuella sökvägen upp. Ersätt den aktuella sökvägen med /prgo11/lab1/studiehjalp.py. Notera hur Emacs använder tecknet / för att separera katalognamn och filnamn, precis som i terminalfönstret. Tips! TAB completion kan användas. När hela sökvägen är inskriven trycker du på returtangenten för att bekräfta valet. Innehållet i filenstudiehjalp.py ska nu dyka upp i en av Emacs buffertar och börja enligt: # -*- coding: Latin-1 -*- # Program för studiehjälp... Observera att om den valda filen inte existerar, så kommer Emacs öppna en ny fil med det valda namnet. Med andra ord används med fördel Files Open File eller C-x C-f både för att öppna en befintlig fil och för att skapa en ny! Redigering och användbara kommandon Så fort du redigerar lite i en buffert i Emacs så kommer buffertens innehåll inte stämma överens med den sparade filens innehåll. Detta visas i Emacs genom att markeringen ** visas till vänster om filnamnet längst ned. Sparas bufferten i en fil så försvinner markeringen. Börja med att spara den aktuella bufferten i en fil med namnet boksidor.py. Att spara till en fil med annat namn görs med Files Save Buffer As eller C-x C-w. Var noggrann med STORA och små bokstäver! Ändra någonting i bufferten. Notera hur markeringen ** dyker upp. Spara bufferten (Files Save Buffer eller C-x C-s) och notera hur markeringen ** försvinner. Du har nu använt några av de vanligaste kommandona i Emacs. Det finns otroligt många fler, men för denna kurs kan nedanstående kommandon vara bra att komma ihåg. Med C- avses kontrolltangenten nedtryckt, med M- avses meta -tangenten nedtryckt. På en Linux-dator fungerar både diamant - tangenten (höger om Kontrolltangenten) och Esc-tangenten (uppe till vänster) som metatangent. Trycker man M-x kan man skriva in namnet på ett emacskommando och köra det. Den som vill lära sig mer om emacs kan läsa Emacs tutorial som nås genom att trycka F1 F1 t.

DD1310 OPEN1 2011/2012 7 Funktion Menyval Kommando Avbryt C-g Öppna befintlig fil/ Files Open File... C-x C-f skapa ny fil Spara buffert i fil Files Save Buffer C-x C-s Spara i fil under Files Save Buffer As... C-x C-w annat namn Stäng buffert Files Kill Current Buffer C-x k Ångra Edit Undo C-_ Klipp ut från markören C-k till slutet av raden (kan upprepas) Start av markering C-mellanslag Slut av markering Edit Copy M-w (kopiera) Slut av markering Edit Cut C-w (klipp ut) Klistra in Edit Paste C-y Skriv ut aktuell buffert Tools Print Print Buffer Sök Search Search... C-s Sök och byt Search Query Replace... M-% Skrivaren Skrivarna på CSC heter oftast samma som salen de är placerade i. Kommandot som skriver ut är print. Om du vill skriva ut filen studiehjalp.py som finns under /prgo11/lab1/ skriver du print /prgo11/lab1/studiehjalp.py i terminalfönstret Spara papper! Skriv inte ut i onödan! Byt lösenord! Det lösenord du fick med kontot är säkert svårt att komma ihåg, dessutom kan någon ha sett det. Du ska därför byta lösenord. Byte av lösenord gör du i terminalfönstret med kommandot passwd. Skriv passwd och tryck returtangenten. Det kommer upp instruktioner på skärmen som berättar vad du ska göra. Användardatabaserna på CSC och KTH centralt är tyvärr inte synkroniserade, mer än att man initialt har samma lösenord i de båda databaserna. Ett lösenordsbyte på ett av dina konton kommer inte att påverka lösenordet på ditt andra konto. Programmeringsövningar För att du ska kunna köra python måste du lägga till modulen för python. Detta gör du genom att skriva module add python i filen.modules som finns i din hemkatalog (använd ls -a för att se att den finns). När du har gjort detta ska du logga ut och logga in igen för att python ska fungera. Detta gör du alltså endast en gång under hela kursen.

DD1310 OPEN1 2011/2012 8 Uppgift: Besök kurshemsidan under länkar, övriga filer och ladda ner det programskal som finns där. Komplettera detta program så att det fungerar. Om du vill kunna använda å, ä och ö i kommentarer och print-satser skriver du raden # -*- coding: Latin-1 -*- allra överst i programmet (så vet Python att du använder svenska bokstäver). Krav för programmet i labb 1: Ditt program ska visa att du kan hantera variabler, tilldelning, inläsning, utskrift, funktionsdefinitioner och funktionsanrop. Glöm inte att skriva en kommentar med ditt och labbkompisens namn längst upp i programmet!

DD1310 OPEN1 2011/2012 9 Kontroll inför redovisning Jag vet hur jag hittar information på kurshemsidan. Jag vet hur man skapar, öppnar och sparar filer. Jag kan använda Emacs. Jag kan skriva program i Python som skriver ut text. Jag kan vet hur ett tillåtet variabelnamn i Python ska se ut. Jag kan skriva program som läser in data från tangenbordet. Jag kan definiera och anropa funktioner. Jag vet vad som händer när ett program som körs kommer till ett funktionsanrop. Jag vet vad som händer när ett program som körs kommer till slutet av en funktion. Redovisning Använd sima för kursen prgo11 att redovisa din laboration. Du kan kontrollera att dina resultat har blivit rapporterade med kommandot: res show prgo11 Tänk på att laborationerna tar betydligt längre tid än den schemalagda datorsalstiden, så förbered dig och påbörja laborationen långt innan det schemalagda laborationstillfället! Du har tillgång till CSCs terminaler dygnet runt, men salarna kan vara bokade vissa tider. Om du behöver hjälp, se länken Hjälp på kurshemsidan. Logga ut För att logga ut väljer man logout från Launch-knappen. När inloggningssidan visas betyder att du har loggat ut.