2021-08-14 03:17:43 +08:00
|
|
|
defmodule LivebookWeb.SessionLive.PersistenceLive do
|
|
|
|
# TODO: rewrite this live view as a component, once live_view
|
2021-10-31 14:14:35 +08:00
|
|
|
# has a unified way of sending events programmatically from a child
|
2021-08-14 03:17:43 +08:00
|
|
|
# component to parent live view or component. Currently we send an
|
|
|
|
# event to self() from FileSelectComponent and use handle_info in
|
|
|
|
# the parent live view.
|
|
|
|
use LivebookWeb, :live_view
|
|
|
|
|
2021-09-05 01:16:01 +08:00
|
|
|
alias Livebook.{Sessions, Session, LiveMarkdown, FileSystem}
|
2021-08-14 03:17:43 +08:00
|
|
|
|
|
|
|
@impl true
|
|
|
|
def mount(
|
|
|
|
_params,
|
|
|
|
%{
|
2021-09-05 01:16:01 +08:00
|
|
|
"session" => session,
|
2021-08-14 03:17:43 +08:00
|
|
|
"file" => file,
|
|
|
|
"persist_outputs" => persist_outputs,
|
|
|
|
"autosave_interval_s" => autosave_interval_s
|
|
|
|
},
|
|
|
|
socket
|
|
|
|
) do
|
2021-09-05 01:16:01 +08:00
|
|
|
sessions = Sessions.list_sessions()
|
|
|
|
running_files = Enum.map(sessions, & &1.file)
|
2021-08-14 03:17:43 +08:00
|
|
|
|
|
|
|
attrs = %{
|
|
|
|
persist_outputs: persist_outputs,
|
|
|
|
autosave_interval_s: autosave_interval_s
|
|
|
|
}
|
|
|
|
|
|
|
|
{:ok,
|
|
|
|
assign(socket,
|
2021-09-05 01:16:01 +08:00
|
|
|
session: session,
|
2021-08-14 03:17:43 +08:00
|
|
|
running_files: running_files,
|
|
|
|
attrs: attrs,
|
2021-10-30 18:02:26 +08:00
|
|
|
new_attrs: attrs,
|
2022-10-04 16:56:11 +08:00
|
|
|
draft_file: file || Livebook.Config.local_filesystem_home(),
|
|
|
|
saved_file: file
|
2021-08-14 03:17:43 +08:00
|
|
|
)}
|
|
|
|
end
|
|
|
|
|
|
|
|
@impl true
|
|
|
|
def render(assigns) do
|
|
|
|
~H"""
|
2022-09-01 05:53:23 +08:00
|
|
|
<div class="p-6 flex flex-col space-y-8">
|
2021-08-14 03:17:43 +08:00
|
|
|
<h3 class="text-2xl font-semibold text-gray-800">
|
2021-10-30 18:02:26 +08:00
|
|
|
Save to file
|
2021-08-14 03:17:43 +08:00
|
|
|
</h3>
|
2022-10-04 16:56:11 +08:00
|
|
|
<div class="w-full flex-col space-y-6">
|
|
|
|
<div class="h-full h-52">
|
|
|
|
<.live_component
|
|
|
|
module={LivebookWeb.FileSelectComponent}
|
|
|
|
id="persistence_file_select"
|
|
|
|
file={@draft_file}
|
|
|
|
extnames={[LiveMarkdown.extension()]}
|
|
|
|
running_files={@running_files}
|
|
|
|
submit_event={:confirm_file}
|
|
|
|
/>
|
2021-08-14 03:17:43 +08:00
|
|
|
</div>
|
2022-10-04 16:56:11 +08:00
|
|
|
<form
|
|
|
|
phx-change="set_options"
|
|
|
|
onsubmit="return false;"
|
|
|
|
class="flex flex-col space-y-4 items-start max-w-full"
|
|
|
|
>
|
|
|
|
<div class="flex flex-col space-y-4">
|
|
|
|
<.switch_checkbox
|
|
|
|
name="persist_outputs"
|
|
|
|
label="Persist outputs"
|
|
|
|
checked={@new_attrs.persist_outputs}
|
|
|
|
/>
|
|
|
|
<div class="flex space-x-2 items-center">
|
|
|
|
<span class="text-gray-700 whitespace-nowrap">Autosave</span>
|
|
|
|
<.select
|
|
|
|
name="autosave_interval_s"
|
|
|
|
selected={@new_attrs.autosave_interval_s}
|
|
|
|
options={[
|
|
|
|
{5, "every 5 seconds"},
|
|
|
|
{30, "every 30 seconds"},
|
|
|
|
{60, "every minute"},
|
|
|
|
{600, "every 10 minutes"},
|
|
|
|
{nil, "never"}
|
|
|
|
]}
|
|
|
|
/>
|
2021-10-30 18:02:26 +08:00
|
|
|
</div>
|
2021-08-14 03:17:43 +08:00
|
|
|
</div>
|
2022-10-04 16:56:11 +08:00
|
|
|
<span class="text-gray-700 whitespace-nowrap pt-2">
|
|
|
|
File: <%= normalize_file(@draft_file).path %>
|
|
|
|
</span>
|
|
|
|
</form>
|
|
|
|
</div>
|
|
|
|
<div class="flex justify-between">
|
|
|
|
<div class="flex space-x-3">
|
|
|
|
<button
|
|
|
|
class="button-base button-blue"
|
|
|
|
phx-click="save"
|
|
|
|
disabled={not savable?(@draft_file, @saved_file, @running_files)}
|
|
|
|
>
|
|
|
|
Save
|
|
|
|
</button>
|
|
|
|
<%= live_patch("Cancel",
|
|
|
|
to: Routes.session_path(@socket, :page, @session.id),
|
|
|
|
class: "button-base button-outlined-gray"
|
|
|
|
) %>
|
2021-08-14 03:17:43 +08:00
|
|
|
</div>
|
2022-10-04 16:56:11 +08:00
|
|
|
<%= if @saved_file do %>
|
|
|
|
<button class="button-base button-outlined-red" phx-click="stop_saving">
|
|
|
|
Stop saving to file
|
|
|
|
</button>
|
|
|
|
<% end %>
|
2021-08-14 03:17:43 +08:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
"""
|
|
|
|
end
|
|
|
|
|
|
|
|
@impl true
|
2021-10-30 18:02:26 +08:00
|
|
|
def handle_event("clear_file", %{}, socket) do
|
|
|
|
{:noreply, socket |> put_new_file(nil) |> assign(draft_file: nil)}
|
2021-08-14 03:17:43 +08:00
|
|
|
end
|
|
|
|
|
|
|
|
def handle_event(
|
|
|
|
"set_options",
|
|
|
|
%{"persist_outputs" => persist_outputs, "autosave_interval_s" => autosave_interval_s},
|
|
|
|
socket
|
|
|
|
) do
|
|
|
|
persist_outputs = persist_outputs == "true"
|
|
|
|
autosave_interval_s = parse_optional_integer(autosave_interval_s)
|
|
|
|
|
|
|
|
{:noreply,
|
|
|
|
socket
|
|
|
|
|> put_new_attr(:persist_outputs, persist_outputs)
|
|
|
|
|> put_new_attr(:autosave_interval_s, autosave_interval_s)}
|
|
|
|
end
|
|
|
|
|
2022-10-04 16:56:11 +08:00
|
|
|
def handle_event("save", %{}, socket) do
|
|
|
|
save(socket)
|
|
|
|
end
|
2021-08-14 03:17:43 +08:00
|
|
|
|
2022-10-04 16:56:11 +08:00
|
|
|
def handle_event("stop_saving", %{}, socket) do
|
|
|
|
Session.set_file(socket.assigns.session.pid, nil)
|
2021-08-14 03:17:43 +08:00
|
|
|
|
2022-10-04 16:56:11 +08:00
|
|
|
{:noreply,
|
|
|
|
push_patch(socket, to: Routes.session_path(socket, :page, socket.assigns.session.id))}
|
2021-10-30 18:02:26 +08:00
|
|
|
end
|
2021-08-14 03:17:43 +08:00
|
|
|
|
2021-10-30 18:02:26 +08:00
|
|
|
@impl true
|
|
|
|
def handle_info({:set_file, file, _file_info}, socket) do
|
|
|
|
{:noreply, assign(socket, draft_file: file)}
|
|
|
|
end
|
2021-08-14 03:17:43 +08:00
|
|
|
|
2021-10-30 18:02:26 +08:00
|
|
|
def handle_info(:confirm_file, socket) do
|
2022-10-04 16:56:11 +08:00
|
|
|
save(socket)
|
2021-10-30 18:02:26 +08:00
|
|
|
end
|
2021-08-14 03:17:43 +08:00
|
|
|
|
2022-10-04 16:56:11 +08:00
|
|
|
defp save(%{assigns: assigns} = socket) do
|
|
|
|
%{new_attrs: new_attrs, attrs: attrs, draft_file: draft_file, saved_file: saved_file} =
|
|
|
|
assigns
|
|
|
|
|
|
|
|
draft_file = normalize_file(draft_file)
|
|
|
|
|
|
|
|
if draft_file != saved_file do
|
|
|
|
Session.set_file(assigns.session.pid, draft_file)
|
|
|
|
end
|
|
|
|
|
|
|
|
diff = map_diff(new_attrs, attrs)
|
|
|
|
|
|
|
|
if diff != %{} do
|
|
|
|
Session.set_notebook_attributes(assigns.session.pid, diff)
|
|
|
|
end
|
|
|
|
|
|
|
|
if draft_file do
|
|
|
|
Session.save_sync(assigns.session.pid)
|
|
|
|
end
|
|
|
|
|
|
|
|
{:noreply, push_patch(socket, to: Routes.session_path(socket, :page, assigns.session.id))}
|
2021-08-14 03:17:43 +08:00
|
|
|
end
|
|
|
|
|
|
|
|
defp parse_optional_integer(string) do
|
|
|
|
case Integer.parse(string) do
|
|
|
|
{number, _} -> number
|
|
|
|
:error -> nil
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
defp put_new_file(socket, file) do
|
|
|
|
new_attrs = socket.assigns.new_attrs
|
|
|
|
current_file_system = new_attrs.file && new_attrs.file.file_system
|
|
|
|
new_file_system = file && file.file_system
|
|
|
|
|
|
|
|
autosave_interval_s =
|
|
|
|
case new_file_system do
|
|
|
|
^current_file_system ->
|
|
|
|
new_attrs.autosave_interval_s
|
|
|
|
|
|
|
|
nil ->
|
|
|
|
Livebook.Notebook.default_autosave_interval_s()
|
|
|
|
|
|
|
|
%FileSystem.Local{} ->
|
|
|
|
Livebook.Notebook.default_autosave_interval_s()
|
|
|
|
|
|
|
|
_other ->
|
|
|
|
nil
|
|
|
|
end
|
|
|
|
|
|
|
|
socket
|
|
|
|
|> put_new_attr(:file, file)
|
|
|
|
|> put_new_attr(:autosave_interval_s, autosave_interval_s)
|
|
|
|
end
|
|
|
|
|
|
|
|
defp put_new_attr(socket, key, value) do
|
|
|
|
new_attrs = socket.assigns.new_attrs
|
|
|
|
|
|
|
|
if new_attrs[key] == value do
|
|
|
|
socket
|
|
|
|
else
|
|
|
|
new_attrs = put_in(new_attrs[key], value)
|
|
|
|
assign(socket, :new_attrs, new_attrs)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
defp normalize_file(file) do
|
|
|
|
Map.update!(file, :path, fn path ->
|
|
|
|
if String.ends_with?(path, LiveMarkdown.extension()) do
|
|
|
|
path
|
|
|
|
else
|
|
|
|
path <> LiveMarkdown.extension()
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
2022-10-04 16:56:11 +08:00
|
|
|
defp savable?(draft_file, saved_file, running_files) do
|
|
|
|
file = normalize_file(draft_file)
|
|
|
|
not FileSystem.File.dir?(draft_file) and (file not in running_files or file == saved_file)
|
2021-08-14 03:17:43 +08:00
|
|
|
end
|
2021-10-30 18:02:26 +08:00
|
|
|
|
|
|
|
defp map_diff(left, right) do
|
|
|
|
Map.new(Map.to_list(left) -- Map.to_list(right))
|
|
|
|
end
|
2021-08-14 03:17:43 +08:00
|
|
|
end
|