Fix migrations

.gitignore

@@ -562,3 +562,4 @@ dist
 .ionide
 
 # End of https://www.toptal.com/developers/gitignore/api/csharp,fsharp,node,visualstudiocode
+Keroosha.SilencerBot/token

Keroosha.SilencerBot/Database.fs

@@ -44,6 +44,7 @@ let migrateApp (connectionString: string) =
   use serviceProvider =
     ServiceCollection()
       .AddFluentMigratorCore()
+      .AddLogging(fun x -> x.AddFluentMigratorConsole() |> ignore)
       .ConfigureRunner(fun x -> 
         x.AddPostgres()
           .WithMigrationsIn(typeof<DbContext>.Assembly)
@@ -51,12 +52,12 @@ let migrateApp (connectionString: string) =
       )
       .BuildServiceProvider(false)
   use scope = serviceProvider.CreateScope()
-  serviceProvider.GetRequiredService<IMigrationRunner>().MigrateUp()
+  scope.ServiceProvider.GetRequiredService<IMigrationRunner>().MigrateUp()
 
 let createContext (connectionString: string) =
   new DbContext(connectionString, PostgreSQLTools.GetDataProvider())
 
-[<TimestampedMigration(2023us, 4us, 6us, 20us, 8us)>]
+[<Migration(1L, "")>]
 type InitialMigration() =
   inherit AutoReversingMigration()
   override this.Up() =

Keroosha.SilencerBot/Keroosha.SilencerBot.fsproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
     <PropertyGroup>
         <OutputType>Exe</OutputType>

Keroosha.SilencerBot/Program.fs

@@ -11,13 +11,14 @@ let config = Env.createConfig "SILENCER_BOT_CONFIG_PATH"
 let botConfig = Config.defaultConfig |> Config.withReadTokenFromFile
 
 let ctxFactory = fun () -> Database.createContext <| config.connectionString
-Console.CancelKeyPress |> Event.add (fun _ -> Environment.Exit <| 0)
 
 Database.migrateApp config.connectionString
 
 let botInbox = createBotInbox <| (botConfig, ctxFactory)
 let handleUpdate  (ctx: UpdateContext) = resolveUpdate ctx |> botInbox.Post
 
+Console.CancelKeyPress |> Event.add (fun _ -> Environment.Exit <| 0)
+
 async {
   let! _ = Api.makeRequestAsync botConfig <| Api.deleteWebhookBase()
   return! startBot botConfig handleUpdate None

Keroosha.SilencerBot/config.example.json

@@ -1,3 +1,4 @@
 {
-  "ConnectionString": "Server=127.0.0.1;User id=postgres;password=postgres;database=silencer-bot"
+  "connectionString": "Server=127.0.0.1;User id=postgres;password=postgres;database=silencer-bot",
+  "tempSavePath": "/tmp"
 }