Mikael

My Blog

0

Special symbols in LaTex (MTS-arcs)

Posted by: mhm

Today I created a set of custom made LaTeX-arcs, for the different transitions in modal transition systems. I did it using TikZ drawings inline. You can download the arc definition here.

You are more than welcome to comment the implementation, and suggest improvements.

 

 

Skærmbillede 2013-02-11 kl. 21.31.23

0

How I moved/migrated a ISPConfig 3 setup to a new server

Posted by: mhm /Tags: Ispconfig 3, webhosting

I am posting this because I had a really hard time finding a good description on how to do this. When I did this my self I discovered, the new and very nice Resync tool in ISPconfig, this is perfect when moving an ISPConfig setup.

Note that my setup is a Ubuntu server, setup after the Perfect Server guide on howtoforge.com

  1. Upgrade your OLD server to the latest version of ISPConfig 3
  2. Install the new server with the latest version of ISPConfig 3 (and set it up with the same packages as the previous one and special configurations of apache moduels etc.)
  3. Take a copy the entire database of the OLD server
    • myslqdump -u root -p –all-databases > sqldump.sql
  4. Move the sqldump.sql to the NEW server, and insert it there
    • I used scp to move it and the following command to insert it on the NEW server
    • mysql -u root -p < sqldump.sql
  5. Re-insert the mysql password for the ispconfig user
    • You can find the password in you ispconfig configfile
    • grep db_password /usr/local/ispconfig/interface/lib/config.inc.php
    • We can now update the password in the database (login to you database and update the password, with the following lines)
    • mysql -u root -p
      >UPDATE mysql.user SET Password=PASSWORD('INSERTDB_PASSWORDHERE') WHERE User='ispconfig';
      >FLUSH PRIVILEGES;
      >EXIT; 
  6. You can now login in to your ISPconfig Hosting Control Panel on the NEW server, chekc that everything looks as it should.
  7. Resync all settings; Under the tab “Tools” you will find a Resync Tool, This will configure all your ISPconfig setting on the NEW server. Check all boxes and resync. Note it might take some time to create all the users, configure websites etc.
  8. Move the all the data, which is not in the database, eg. webfiles, mail etc.
    • Eg. I moved all my webfiles with rsync, using a temporary enabled root-user on the NEW server
    • rsync /var/www root@newserver.com:/var/ (run on the OLD server)
    • Move your mail and other data in the same way
  9. Move the ssh fingerprint of the OLD server
    • I did this with rsync again
    • rsync /etc/ssh/ssh_host* root@newserver.com:/etc/ssh(run on the OLD server
    • restart ssh service on the new server

This should do it, remember to disable you root-user again, if you used such when moving the files.

If you have any comments, or correction please let me know.

0

Ønskeseddel (opdateret 17. april 2013)

Posted by: mhm

Hov så skal der ønskes igen… (Sorry this is only available in danish)

4

Guide AN-TV på WMC7 med HDHomerun og DVBLink TVSource.

Posted by: mhm

Jeg modtager mit Digitale TV-signal via Stofa (AN-TV), og har netop modtaget min HDHomerun (fremover omtalt som HDHR), som er min første digitale tuner.

Jeg har læst at der er flere der har problemer med at få alle kanaler til at virke i WMC7. Jeg har derfor valgt at bruge TVSource fra DVBLink.

Faktisk fulgte jeg bare den guide der følger med TVsource. Der ligger en pdf i den zip fil man henter. Der er kun et par enkelte detaljer der trænger til lidt ekstra opmærksom hed.

Her kommer hvordan jeg gjorde:
1. Download og installer nyeste beta software og firmware til HDHR på Silicondust foraet.(Man kan lige tjekke med HDHR GUI at man modtager signalet, for det er et krav for at kunne fortsætte)
2. Download DVBLink for TVSource på dvblogics webside(Jeg kører pt. med trial version, fuldversion koster 200kr.)
3. Installer DVBLink Server(mener der er vigtigt at køre den med admin. rettigheder), genstart.
4. Installer TVSource (brug igen admin rettigheder).
5. Lav din egen transponder fil(Denne fil fortæller TVSource hvor den skal søge efter kanaler.) Der er en guide til hvad der skal stå i filen på DVBlogics fora F. eks indeholder min fil til AN-TV følgende linier:

			[SATTYPE]
			1=5100
			2=Stofa
			[DVB]
			0=1
			1=346000,V,6900,,QAM64

6. Læg nu din transponder fil i mappen “C:\Program Files\DVBLogic\DVBLink\Templates\Sources\TVSource\Transponders”
7. Tilføj C:\Program Files\DVBLogic\DVBLink\DVBLinkServer.exe til windows Firewall
8. Konfigurer TVSource, følg bare den tidligere omtalte guide/manual der følger med TVSource. Du skal bare tilføje din egen Transponder som headend, jeg kunne bare lave et network scan da der på 346000KHz,6900symbolrate,QAM64 ligger et mapping table, der fortæller alle Mux frekvenserne.
9. Start DVBLink Server
10. Tilføj tunerne til WMC som der står i manualen (Husk at starte WMC med admin rettigheder)
11. Synkroniser Kanaler i MCE med det tilhørende addin fra DVBLink, det ligger i extras i WMC.
12. Du skulle nu være kørende.

Det skal lige siges jeg har ikke meget viden inden for det her, jeg har kun brugt 5timer på det idag. Jeg vil gerne sende de største tak til Patriarken for fristelsen til at købe HDHR og rådet om at køre DVBLinks TVSource.

Hvis der er nogen spørgsmål skal jeg forsøge at svare så godt jeg kan. Men min bedste råd bliver nok at følge manualen der følger med når man henter TVSource, der står alt i, følg den slavisk sammen med mine råd.

Det skal lige siges at jeg med denne opsætning har adgang til alle de Digitale kanaler jeg modtager fra AN-TV (den store pakke), og det er incl. DR HD, TV2 og hele lortet. Der er adgang til det hele i WMC7 med undertekster.

Det eneste jeg mangler at kigge på er EPG’en, men det skulle der også være gode muligheder for med TVSource og XMLTV. Jeg har planer om at smække den sammen med DR2009 grabberen fra XMLTVDK.
Jeg skal nok opdatere når jeg når dertil.
Håber der er nogen der kan bruge det.