From ec87fbff8db9c644a9481df8ef6cb0d777265497 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Tue, 12 Oct 2021 11:38:32 -0300
Subject: _plugins/linter.rb: Remove Git Annex assert

---
 _plugins/linter.rb | 22 ----------------------
 1 file changed, 22 deletions(-)

(limited to '_plugins')

diff --git a/_plugins/linter.rb b/_plugins/linter.rb
index 5f3a477..b3830d5 100644
--- a/_plugins/linter.rb
+++ b/_plugins/linter.rb
@@ -119,27 +119,6 @@ module Jekyll
       end
     end
 
-    @@first_build = true
-    def assert_git_annex(site)
-      url = site.config['url']
-      stdout = `git annex find --not --in web`
-      if stdout != '' or not $?.success? then
-        puts 'Files in Git Annex not published to "web" remote:'
-        puts stdout
-        puts "Add them with:\n\n"
-        stdout.strip.split("\n").each do |file|
-          puts "git annex addurl --file #{file} #{url}/#{file}"
-        end
-        msg = "\nBuild again after files above are added"
-        if @@first_build then
-          @@first_build = false
-          puts msg
-        else
-          raise msg
-        end
-      end
-    end
-
     MEDIA_EXTENSION = {
       'podcasts' => 'flac',
       'screencasts' => 'webm'
@@ -216,7 +195,6 @@ module Jekyll
       assert_unique_ids(site)
       assert_frontmatter(site)
       assert_media_metadata(site)
-      assert_git_annex(site)
       assert_lilypond(site)
     end
 
-- 
cgit v1.2.3