|
|
Home » Developing U++ » Releasing U++ » deb packages don't update user sources properly
Re: deb packages don't update user sources properly [message #26264 is a reply to message #26258] |
Mon, 19 April 2010 20:17   |
|
Hi,
mr_ped wrote on Mon, 19 April 2010 12:06 | I have also right now get a flash of an idea, how about putting into installer another wizard to not copy sources from /usr/share, but instead check them out from svn mirror right into userland. In such case after update your "fix" could run another svn update up to revision of installed package (not to head).
|
That is a great idea! Why it didn't flash myself? Let me try to put it all together and describe the processing logic...
When theide starts, it should check if
- there is /usr/share/upp
- svn is installed
- user copy of sources exists
Then we can procede as follows:
if(!c){
if(a || b){
Give user the choices:
if(a){ * copy sources from /usr/share [recommended]}
if(b){ * checkout sources from svn [advanced users]}
* do not copy sources [very advanced users, not recommended :-) ]
}else{
ONCELOCK(Warn user that if he wants to use theide with ultimate++,
he must either install upp package or subversion)
}
}else{
if((users sources are from /usr/share) && (user source are outdated)){
Ask user if he wishes to: * overwrite everything
* overwrite only files that haven't changed since last update
* keep all the out of date sources
}
if((users sources are from svn) && (svnversion reports newer version)){
Alert user that update is available.
}
}
Does it make any sense? It is bit more complex than I expected at first... By "oncelock" I mean do it only on first run, otherwise it would be annoying.
Honza
|
|
|
 |
|
deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: mr_ped on Mon, 19 April 2010 12:06
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: mr_ped on Mon, 19 April 2010 16:37
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: mr_ped on Tue, 20 April 2010 09:56
|
 |
|
Re: deb packages don't update user sources properly
By: mr_ped on Tue, 20 April 2010 10:11
|
 |
|
Re: deb packages don't update user sources properly
By: mr_ped on Tue, 20 April 2010 10:29
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: mirek on Tue, 20 April 2010 18:50
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: dolik.rce on Mon, 06 September 2010 23:43
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Fri, 29 April 2011 11:03
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Fri, 29 April 2011 23:32
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Mon, 02 May 2011 10:40
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Tue, 10 May 2011 09:47
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Thu, 12 May 2011 19:01
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Fri, 13 May 2011 10:46
|
 |
|
Re: deb packages don't update user sources properly
By: mr_ped on Fri, 13 May 2011 12:19
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Sat, 14 May 2011 15:53
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Mon, 23 May 2011 09:46
|
 |
|
Re: deb packages don't update user sources properly
By: jibe on Thu, 26 May 2011 11:02
|
 |
|
Re: deb packages don't update user sources properly
|
Goto Forum:
Current Time: Sun Aug 24 18:58:12 CEST 2025
Total time taken to generate the page: 0.05400 seconds
|
|
|