mo8it/pgp1-python-einfuehrung
1
0
Fork 0
mirror of https://gitlab.rlp.net/pgp/pgp1-python-einfuehrung synced 2024-10-12 13:24:22 +00:00
Code Releases Activity

Fix typos

Browse source
This commit is contained in:
Mo8it 2022-04-20 09:50:03 +02:00
parent 2f454c1379
commit e6d1a87860
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
custom_set_up.py
View file

@ -1,7 +1,7 @@
# Small program to put a custom.css file from the course material # Small program to put a custom.css file from the course material
# directory to the correct location on the students machines. # directory to the correct location on the students machines.
# #
# Since the directory sturcture for the custom.css file changed # Since the directory structure for the custom.css file changed
# this set-up only works for IPython and Jupyter versions after # this set-up only works for IPython and Jupyter versions after
# the so called the "big splitt" (version 4 and higher). # the so called the "big splitt" (version 4 and higher).
import os import os
@ -41,14 +41,14 @@ Searching for the Jupyter profile directory...''')
How do you want to proceed?''') How do you want to proceed?''')
sleep(2) sleep(2)
proceed = input('''Would you either like to delte the already existing custom.css file (d), proceed = input('''Would you either like to delete the already existing custom.css file (d),
or stop the custom.css set up? (s)''') or stop the custom.css set up? (s)''')
if proceed == 's': if proceed == 's':
print('The installation will be stoped.') print('The installation will be stopped.')
elif proceed == 'd': elif proceed == 'd':
os.remove(custom_file) os.remove(custom_file)
else: else:
print('Wrong keyboard input the installation will be stoped.') print('Wrong keyboard input the installation will be stopped.')
elif os.path.isdir(custom_dir): elif os.path.isdir(custom_dir):
print('''The custom directory exists, but no custom.css file was found. print('''The custom directory exists, but no custom.css file was found.