mirror of
https://gitlab.rlp.net/pgp/pgp1-python-einfuehrung
synced 2024-11-23 13:51:35 +00:00
Fix typos
This commit is contained in:
parent
b73196e7a1
commit
2fd7e95409
1 changed files with 3 additions and 3 deletions
|
@ -1,7 +1,7 @@
|
|||
# Small program to put a custom.css file from the course material
|
||||
# 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
|
||||
# the so called the "big splitt" (version 4 and higher).
|
||||
import os
|
||||
|
@ -44,11 +44,11 @@ How do you want to proceed?''')
|
|||
proceed = input('''Would you either like to delete the already existing custom.css file (d),
|
||||
or stop the custom.css set up? (s)''')
|
||||
if proceed == 's':
|
||||
print('The installation will be stoped.')
|
||||
print('The installation will be stopped.')
|
||||
elif proceed == 'd':
|
||||
os.remove(custom_file)
|
||||
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):
|
||||
print('''The custom directory exists, but no custom.css file was found.
|
||||
|
|
Loading…
Reference in a new issue