View difference between Paste ID: 6gRGX2z6 and QsNh3x2S
SHOW: | | - or go back to the newest paste.
1
local installed = fs.exists( "extensions" )
2
if installed then
3
  print "Extensions already downloaded, reinstall? (y/n)"
4
  while true do
5
    local _, key = os.pullEvent( "key" )
6
    -- remove any stray character events
7
    os.startTimer(0.1)
8
    os.pullEvent()
9
    if key == keys.y then
10
      shell.run( "delete extensions", "w" )
11
      if fs.exists( "extensions.cfg" ) then
12
        local file = fs.open( "extensions.cfg", "r" )
13
        local text = file.readAll()
14
        file.close()
15
        if text:find( "^return " ) then
16
          print "Fixing old configuration file"
17
          file = fs.open( "extensions.cfg", "w" )
18
          text = text:gsub( "^return ", "" )
19
          file.write( text )
20
          file.close()
21
        end
22
      end
23
      break
24
    elseif key == keys.n then
25
      print "Canceling installation"
26
      return
27
    end
28
  end
29
end
30
31
print "Installing extensions"
32
shell.run( "pastebin get 7Nq6R70n extensions" )
33
34
if installed then
35
  shell.run( "extensions reload" )
36
else
37
  shell.run( "extensions" )
38
  print "Adding extensions to startup"
39
  local file = fs.open("startup", fs.exists("startup") and "a" or "w")
40
  file.writeLine( 'shell.run( "extensions" )' )
41
  file.close()
42
end