Shell: Add file system browser to retrieve arbitrary files

config/locales/de.yml

@@ -326,6 +326,14 @@ de:
     shell:
       command: Befehl
       headline: Shell
+      file_tree:
+        reload: Aktualisieren
+        reload_tooltip: Aktualisieren Sie die Liste der verfügbaren Dateien im Runners. Diese Aktion wird einige Sekunden in Anspruch nehmen.
+        list_now: Jetzt laden.
+        headline: Dateisystem
+        empty: Das Dateisystem wurde bisher noch nicht aufgelistet.
+        root_notice: Dateien werden standardmäßig mit einem nicht-priviligerten Nutzer abgerufen. Um Dateien als "root" abzurufen, müssen Sie den "sudo" Schalter neben der Befehlszeile aktivieren und anschließend das Dateisystem vor dem Herunterladen einer Datei aktualisieren.
+        permission_denied: Der Zugriff auf die angeforderte Datei wurde verweigert. Bitte überprüfen Sie, dass die Datei existiert, der aktuelle Benutzer Leseberechtigungen besitzt und versuchen Sie ggf. die Datei mit "root"-Rechten anzufordern. Dazu müssen Sie den "sudo"-Schalter neben der Befehlszeile aktivieren und anschließend das Dateisystem vor dem Herunterladen einer Datei aktualisieren.
     statistics:
       exercise: Übung
       users: Anzahl (externer) Nutzer

config/locales/en.yml

@@ -326,6 +326,14 @@ en:
     shell:
       command: Command
       headline: Shell
+      file_tree:
+        reload: Reload
+        reload_tooltip: Reload the file system of the runner. This action might take a few seconds.
+        list_now: List now.
+        headline: File System
+        empty: The file system has not been queried yet.
+        root_notice: Files are retrieved with a non-privileged user by default. To retrieve files as "root", you must enable the "sudo" switch shown next to the command input and then reload the file system before accessing any file.
+        permission_denied: Access to the requested file has been denied. Please verify that the file exists, the current user has read permissions, and try requesting the file with "root" privileges if necessary.  To retrieve files as "root", you must enable the "sudo" switch shown next to the command input and then reload the file system before accessing any file.
     statistics:
       exercise: Exercise
       users: (External) Users Count

config/routes.rb

@@ -66,6 +66,8 @@ Rails.application.routes.draw do
     member do
       get :shell
       post 'shell', as: :execute_command, action: :execute_command
+      get :list_files, as: :list_files_in
+      get 'download/:filename', as: :download_file_from, constraints: {filename: FILENAME_REGEXP}, action: :download_arbitrary_file, controller: 'live_streams'
       get :statistics
       post :sync_to_runner_management
     end